Ernst Haefliger, Leo Ketelaars, Royal Concertgebouw Orchestra, Eugen Jochum