Title: Proposed municipal auditorium, city of Redwood City, Calif