wie wird die doppelte Stunde am Ende der Sommerzeit unterschieden?