Ik zie weinig "verzachting" in het gemiddelde. Vergeet niet dat in deze tijd van het jaar (begin december) de gemiddelde maximumtemperatuur rond 7 graden ligt.