real braised sauerkraut for mashed potatoes