att benämnas “ Mindre teatern ".