"H. de Bruijn"