Das Rindfleisch in einem großen Topf im heißen Olivenöl rundherum anbraten, bis es Farbe bekommt.
Zwiebel und Knoblauch dazugeben und kurz mitdünsten.
Karotten, Sellerie und Champignons hinzufügen und einige Minuten anbraten.
Mit Rinderbrühe ablöschen, Lorbeerblätter und Paprikapulver zufügen.
Den Eintopf aufkochen, dann die Hitze reduzieren und ca. 60 Minuten bei geschlossenem Deckel köcheln lassen, bis das Fleisch zart ist.
Die Gnocchi in den letzten 10 Minuten der Garzeit in den Topf geben und mitgaren.
Mit Salz und Pfeffer abschmecken und vor dem Servieren mit frischer Petersilie bestreuen.