Paul Hauptmann (German, born )