It's summertime - Germany 35 °C :-)