MINE VENTILATION (NETHERLAND)