Koninklijk Nederlands Meteorologisch Instituut.