July was the second warmest month in Europe on record.