German red cabbage and pork