Net even opgezocht, maar kans is groter dat dat record uit eind van de maand stamt natuurlijk dan van begin december.