rotkohl (saucy red cabbage)