Heiß und größtenteils sehr trocken: einer der 15 wärmsten Juli-Monate und einer der zehn wärmsten Juni-Monate in der Messgeschichte; und der wärmste Mai seit 1868 – das ist die bisherige Bilanz des Sommers 2018.