Otto Arndts (German, )