Wann galt die doppelte Sommerzeit?