Otto Karl Wilhelm König (German, 1920)