Royal Concertgebouw Orchestra, Paul van Kempen