Theodor Lauxmann (German, 1920)