Question: What type of traveling theater groups have performed in the auditorium at this building?
Relevant Wikipedia article: https://en.wikipedia.org/wiki/Columbus_City_Hall_(Wisconsin)