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