450gRindfleisch (z. B. Sirloin), in dünne Streifen geschnitten
1EsslöffelOlivenöl
1mittlereZwiebel, gewürfelt
3Knoblauchzehenfein gehackt
225gChampignons, in Scheiben geschnitten (Cremini oder weiße)
240mlRinderbrühe
2TeelöffelWorcestershire-Sauce
1EsslöffelDijon-Senf
1Teelöffelgetrockneter Thymian
nach GeschmackSalz und Pfeffer
240gSchmand
2EsslöffelAllzweckmehl (optional, zum Andicken)
225gEiernudeln
nach GeschmackFrische Petersilie, gehackt (zum Garnieren)
Anleitungen
Rindfleisch anbraten: Schalten Sie den Instant Pot auf 'Sauté'-Modus. Geben Sie das Olivenöl hinzu und lassen Sie es heiß werden. Fügen Sie die Rindfleischstreifen hinzu und würzen Sie sie mit Salz und Pfeffer. Braten Sie das Fleisch etwa 5 Minuten lang an, bis es schön gebräunt ist. Nehmen Sie das Rindfleisch aus dem Pot und stellen Sie es beiseite.
Zwiebel und Knoblauch garen: Geben Sie im selben Topf die gewürfelte Zwiebel hinzu und braten Sie sie 3-4 Minuten lang an, bis sie glasig ist. Fügen Sie den gehackten Knoblauch und die geschnittenen Champignons hinzu und kochen Sie das Ganze weitere 2-3 Minuten, bis die Pilze weich sind.
Topf ablöschen: Gießen Sie die Rinderbrühe hinein und kratzen Sie mit einem Holzlöffel den Boden des Topfes ab, um alle angebratenen Stücke zu lösen. Dies verstärkt den Geschmack Ihres Gulasch.
Würzen: Rühren Sie die Worcestershire-Sauce, den Dijon-Senf und den getrockneten Thymian ein. Geben Sie das angebratene Rindfleisch zurück in den Topf und vermischen Sie alles gut.
Druckkochen: Verschließen Sie den Deckel des Instant Pots und stellen Sie ihn auf 'Manuell'-Druckmodus für 10 Minuten ein. Lassen Sie nach dem Kochen 5 Minuten lang die natürliche Druckentlastung zu und geben Sie dann den restlichen Druck schnell frei.
Nudeln zubereiten: Während die Rindfleischmischung kocht, bereiten Sie die Eiernudeln nach Packungsanweisung zu. Lassen Sie sie abtropfen und stellen Sie sie beiseite.
Sauce vollenden: Nachdem der Druck abgelassen ist, öffnen Sie den Deckel und rühren Sie den Schmand gut ein. Falls eine dickere Sauce gewünscht ist, mischen Sie das Mehl mit einem Esslöffel Wasser zu einem Slurry und fügen Sie es der Mischung hinzu, während Sie weiterhin rühren, bis die Sauce eingedickt ist.
Vermengen & Servieren: Falten Sie vorsichtig die gekochten Eiernudeln in das Rindergulasch ein. Passen Sie die Würze mit Salz und Pfeffer nach Geschmack an.
Garnieren und genießen: Servieren Sie das Gericht heiß, garniert mit frisch gehackter Petersilie.
Notizen
Für eine dickere Sauce kann optional Mehl verwendet werden.