staat hoger dan de eerste helft van juni. Het lijkt mij dus dat dit record sowieso niet erg scherp staat.