Netherlands Radio Choir, Royal Concertgebouw ...