Schupfnudeln mit Paprika-Butter