Agnes Giebel, Marga Höffgen, Ernst Haefliger, Netherlands Radio Chorus, Royal Concertgebouw Orchestra & Eugen Jochum