Ernst Haefliger, Franz Crass, Alexander Young, Netherlands Radio Chorus, Royal Concertgebouw Orchestra & Eugen Jochum