Theatre Royal, Bristol: the auditorium | RIBA pix