bavarian red cabbage