Rudolf Schock/Orchester der Deutschen Oper Berlin/Chor der Deutschen Oper Berlin/Richard Kraus