Richard Gross (German, 1912)