Gerd Arntz (German, 1900–1988)