Red cabbage with potato dumplings