20190726 world.europe: Heatwave smashes temp records in Europe