Der Große Oktober - Brecht, Bertolt