Rekent het KNMI dan van 30-11 08.00 tot 1-12 08:00 voor deze data? Ik heb gisteren 18mm opgevangen in Nijmegen, maar vandaag pas 3mm dus kan me niet voorstellen dat zoveel scheelt als dat alleen vandaag is.