It’s official – London’s water-logged July was the rainiest on record.