Am vorletzten Oktober-Wochenende sind die Uhren bekanntlich um eine Stunde zurückgestellt worden.