Ernst Bosch (German, 1917)