Zutaten vorbereiten: Rindfleisch in Stücke schneiden, Zwiebeln vierteln, Karotten und Kartoffeln in Stücke schneiden, Knoblauch hacken.
Öl im Schnellkochtopf erhitzen, Rindfleisch anbraten bis es bräunlich ist (5-7 Minuten).
Zwiebeln und Knoblauch glasig dünsten, Karotten und Kartoffeln hinzufügen, Tomatenmark einrühren und mit Rinderbrühe ablöschen.
Rindfleisch zurück in den Topf geben, Paprikapulver, Lorbeerblätter, Salz und Pfeffer hinzufügen.
Deckel schließen, auf hohen Druck bringen und 45 Minuten garen.
Druck ablassen, Rindfleisch herausnehmen, Brühe nach Belieben einkochen und abschmecken, servieren.