dessa bygnader är teaterhuset.