The Royal Opera House in Covent Garden.