John Graham Hall, Royal Concertgebouw Orchestra, Pierre Boulez & Chorus Of The Netherlands Opera