Theatre Royal in Covent-Garden.