Götterdämmerung Richard Wagner, Radio Filharmonisch Orkest, Groot Omroepkoor, Koor van De Nederlandse Opera