Plácido Domingo, Evgeny Nesterenko, Orchester der Deutschen Oper Berlin, Chor der Deutschen Oper Berlin, Walter Hagen-Groll & Giuseppe Sinopoli