'Leerlingen Eindhoven haalden geintje uit'
Door het gas kregen dertig leerlingen last aan hun neus, ogen en keel. Bij geen van hen is blijvend letsel geconstateerd. Zevenhonderd scholieren en medewerkers moesten het gebouw verlaten, omdat de herkomst van het gas onbekend was. De lessen werden pas vanochtend hervat.