Theatre Royal, Bristol: the Theatre Royal stage area under ...