Royal Concertgebouw Orchestra, Riccardo Chailly, Petra Lang, Prague Philharmonic Choir & Netherlands Children's Choir