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