In Memoriam: Marcel de Bruijn