pork paprika with dumplings