Since 1 October, we've already had 781 mm of rain here in central the Netherlands. That used to be more than a year's worth!