( f. d. Mindre teatern '.