It's been bitterly ironic, as southern Germany has had record flooding and has turned into a gigantic swamp, while southern Europe and northern Africa has been absolutely baking and dusty.