de Haen, Fons, Mientje, Toon, Frits