Juli ble den tiende varmeste julimåneden siden 1900