petrouchka xi the masqueraders royal concertgebouw orchestra sir colin davis lyrics music