On Wed, Jul 29, 2015 at 4:49 PM, Lennart Regebro <regebro at gmail.com> wrote: > Oups! At 2:30 that day, the clock is shifted forward one hour. Double oups! Obviously it is at 2:00am, not 2:30 am.