deluxe rotkohl (red cabbage)