Ernst Dorn (German, 1927)