- Den Instant Pot auf Sauté einstellen, Öl und Butter hineingeben. 
- Das Fleisch rundherum anbraten, dann herausnehmen. 
- Zwiebeln und Knoblauch im Bratfett glasig dünsten. 
- Mehl über die Zwiebeln streuen, gut umrühren und kurz mitrösten. 
- Mit Rinderfond und Weißwein ablöschen, dabei gut umrühren. 
- Senf, Thymian und Worcestersauce einrühren. 
- Fleisch zurück in den Topf legen, alles gut vermengen. 
- Deckel schließen, auf High Pressure 60 Minuten garen. 
- Druck natürlich ablassen, Braten entnehmen und ruhen lassen. 
- Sauce nach Belieben pürieren oder einkochen.