Royal Concertgebouw Orchestra, Marga Höffgen,...