real hungarian pork in paprika-dill sauce