Netherlands chamber orchestra, chorus of the de nederlandse opera