"orchestra of the Royal Opera House, Covent Garden" . .