Laurenscantorij, Royal Concertgebouw Orchestr...