For all the work with time zones I’ve done in the past, it was only yesterday that I noticed that (in Western Europe, at least), the clocks are not on summer and winter time for the same amount of time. Summer time starts on the last Sunday in March, winter time starts on the last Sunday in October. Summer time is 7 months long, winter time only 5.
Huh.