Theatre Royal, Bristol: the Theatre Royal auditorium under ...