time change after all

turns out my computer was right and I was wrong: the time did change in Berlin last night! Who knew? There was nothing about it in the papers or anywhere like that . . . I could swear I even discussed the time change with several people last week and NOBODY said it was now.