Marinated Red Cabbage (Mariniertes Rotkraut)