KNMI hoeft weerapp (nog) niet aan te passen