Wie hoch darf die rote Leuchte?