Schnelles würziges Rindsgulasch

Zubereitung

1. 1.Die Zwiebel und Knoblauch schälen und in grobe Würfel schneiden. 2 El Öl im Schnellkochtopf erhitzen und die Zwiebel und Knoblauchwürfel darin braun anbraten. Rindsgulasch dazugeben und auch anbraten. Senf unterrühren. Rotwein und Brühe dazugießen. Den Deckel des Schnellkochtopfes auflegen und bein ersten zischen ca, 20 Minuten kochen lassen. Vom Herd ziehen und den Drück abbauen lassen, dann vorsichtig den Deckel abnehmen. Gulasch mit Paprika, Salz und Pfeffer würzen. Mehl mit etwas Wasser anrühren, in das Gulasch geben und andicke lassen. Mit Semmelknödeln servieren.