Is er zowel op 12 als op 13 oktober 36,7 mm gevallen in De Bilt? Dat lijkt me wel erg toevallig, en ook erg veel. Klopt dat wel?