It's the end of summer time in Germany...