Roast Pork (Dumplings, Sauerkraut)