Weather fluctuations and the (German) industrial sector