Otto Senning (German, )