Morgens um 08:12 in Berlin. Times aren't changing. :)