"R. H. J. M. Otten"