1 teaspoon vegetable oil
1/4 teaspoon salt
1 tablespoon chopped fresh parsley
1 teaspoon butter
2 1/2 cups beef broth
1/2 cup sliced carrots
2 cups mushrooms with stems
2 onions, minced
3 cloves garlic, minced
1 pound chopped red cabbage
1 bay leaf
1 teaspoon diced celery
1 teaspoon dried parsley