The Netherlands Opera Choir, Netherlands Radio Philharmonic Orchestra & Paul van Kempen