Germany's highest ever temperature of 41.3C is recorded provisionally in Saarbrücken, over the border from France.