Plácido Domingo, Evgeny Nesterenko, Orchester der Deutschen Oper Berlin, Giuseppe Sinopoli, Chor der Deutschen Oper Berlin