Otto Hennig (Norwegian, 1920)