Gnocchi in Paprika-Sauce