( f. d. Teaterhuset ),