( f. d. Teaterhuset ).