Desde el pasado domingo 29 de octubre de 2017 se aplica el horario normal / Ab dem Sonntag 29. Oktober 2015 gilt die Normalzeit