Bayreuth Festival Chorus, Franz Crass, Karl Ridderbusch, Bayreuth Festival Orchestra & Pierre Boulez