Hopelijk pakken we ook af en toe nog eens een kouderecordje. Alle warmterecords van nu zullen binnen tien jaar wel vervangen zijn, vrees ik.:(