Question: Along with city hall, what was this theater at one time?
Relevant Wikipedia article: https://en.wikipedia.org/wiki/Julie_Rogers_Theater