Otto Senning (German, born )