Das Sommerwetter in Deutschland lässt derzeit zu wünschen übrig. Dennoch soll der Juli 2023 der bislang heißeste Monat gewesen sein –…