Juli var den varmeste måneden som noen gang er registrert