R.H. Arntzenius Parents Diederik Johannes Agathus Arntzenius Children Siblings Alexander Karel Willem Arntzenius