braised red cabbage - german recipe