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