How to Make Instant Pot® German Red Cabbage

I love German food, especially this classic side dish known as rotkohl. My method is decidedly Americanized, but the taste brings me back to my heritage.