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