My take on Polish Kapuśniak (cabbage soup): carrots, mushrooms, potatoes, and sauerkraut in a pork broth. Made in an Instant Pot.