( f. d. Gamla Teatern,