I have a red cabbage to use up. The only thing I can think of is the braised cabbage thing that people do for Christmas, but I don't fancy that. What else can I make with it?