Professor N.G de Bruijn, ending the school.

---