( f. d. Mindre teatern ).