KNMI: achtste regionale tropische nacht van het jaar gemeten