'KNMI had dinsdag al met code rood moeten komen': waarom gebeurde dat niet?