Hungarian paprika with dumplings