Paul Hauptmann (German, )