University of Texas Hogg Auditorium (Austin, Tex.): sheet 9 longitudinal section and details

Tools