“the combat career of German Panzer Commander Otto Carius”