byggnaden tjenat såsom teater.