Ernst Haefliger, Franz Crass, Walter Berry, Netherlands Radio Chorus, Royal Concertgebouw Orchestra & Eugen Jochum