Wie lange dauert eine Ampelphase?