Chorus of the Royal Opera House, Covent Garden, Orchestra of the Royal Opera House, Covent Garden & Sir Colin Davis