Netherlands Radio Choir, Prague Philharmonic Choir, Royal Concertgebouw Orchestra & Riccardo Chailly