3/4 teaspoon salt optional

German Red Cabbage