Jakob Jung (German, 1920)