Monat Juli war überdurchschnittlich warm