Pl?cido Domingo, Chor Der Deutschen Oper Berlin, Peter Maus, Eugen Jochum, Orchester Der Deutschen Oper Berlin, Walter Hagen