The Netherland Broadcast Orchestra, The Netherland Broadcast Opera Chorus, Bohumil Gregor