Macky Auditorium and Old Main” on the University of Colorado campus”