Hvad blef det af hr de Mertens?