Erhitzen Sie 2 Esslöffel Olivenöl im Instant Pot, eingestellt auf die Sauté-Funktion. Fügen Sie den Rinderbraten hinzu und braten Sie ihn von allen Seiten an, ca. 4-5 Minuten pro Seite. Gießen Sie die Rinderbrühe ein.

In einer Plastiktüte die Babykartoffeln, Baby-Möhren, geviertelte Zwiebel, Trocken-Zwiebelsuppenmischung und die restlichen 2 Esslöffel Olivenöl vermengen. Die Tüte verschließen und schütteln, um das Gemüse gleichmäßig zu überziehen.

Übertragen Sie das Gemüse aus der Tüte in den Instant Pot und verteilen Sie es gleichmäßig um den Rinderbraten herum.

Schließen und verriegeln Sie den Deckel des Instant Pots. Stellen Sie den Kocher auf Hochdruck mit einem Timer von 60 Minuten ein. Erlauben Sie 10-15 Minuten für den Druckaufbau.

Lassen Sie den Druck gemäß den herstellerspezifischen Anweisungen schnell ab (~5 Minuten). Entfernen Sie den Deckel vorsichtig, sobald es sicher ist, und transferieren Sie das Fleisch und das Gemüse auf eine Servierplatte, wobei die Brühe und der Saft im Topf bleiben.

Um die Soße zuzubereiten, wählen Sie die Sauté-Funktion und bringen Sie die Flüssigkeit im Instant Pot zum Kochen. In einer Schüssel Wasser und Maisstärke mischen, dann die Mischung in die kochende Brühe gießen und häufig umrühren, bis sie leicht eingedickt ist (2-3 Minuten). Würzen Sie die Soße mit Knoblauchsalz und schwarzem Pfeffer.