Arnoldus Martinus de Vries,