Trotzki - Deutscher, Isaac (Reihe 80, 1972)