So, I may have forgotten, but have we actually established what season it is? For all we know it could be summer and Germany can get hot af in the summer.