Hottest day on record in Ireland. 31.7C.