Die Zwiebel fein schneiden. Das Rindsschnitzel auf beiden Seiten pfeffern und salzen und auf einer Seite mit Senf bestreichen.
Öl im Schnellkochtopf erhitzen, Zwiebel hinzufügen und glasig anschwitzen. Dann die Rindsschnitzel auf beiden Seiten scharf anbraten. Mit Wasser ablöschen und den Kochtopfdeckel darauf geben.
Wenn der letzte Ring beim Ventil oben ist, ca. 10 Minuten mit geschlossenem Deckel kochen. Abdrehen und erst öffnen wenn der Druck vom Kochtopf weg ist.
Rindschnitzel aus dem Saft nehmen und den Saft etwas einkochen lassen.
Das Mehl mit dem Rahm verrühren und in den Saft geben. Die Schnitzel wieder in den Saft legen und etwas ziehen lassen.