Gnocchi aus dem Ofen in Paprika-Tomaten-Sauce