2 teaspoons olive oil
1 teaspoon butter
1/2 teaspoon coriander seeds (or 1/4 teaspoon ground coriander)
1/2 teaspoon fennel seeds (or 1/4 teaspoon ground fennel)
1/4 teaspoon cumin seeds (or 1/8 teaspoon ground cumin)
1 medium onion, chopped (about 1 1/4 cups)
4 to 5 cups, packed, 1/4-inch wide sliced green cabbage (from about 1 small cabbage or 1/2 large cabbage)
1/2 teaspoon to 1 teaspoon salt (more or less depending on the saltiness of your stock)
1 15-ounce can whole peeled tomatoes
4 cups chicken stock
Freshly ground black pepper