Roter Oktober - Hümmler, Heinz (Dietz, 1967)