Rindfleisch in eine große Schüssel geben. Rotwein, Salz und Pfeffer einrühren. 10 Minuten marinieren lassen, dann das Fleisch herausnehmen und mit einem Papierhandtuch trocken tupfen. Die restliche Marinade aufbewahren.

Olivöl in einer großen Pfanne bei mittlerer Hitze erhitzen. Rindfleisch einrühren; kochen und rühren, bis es braun ist, 5 bis 7 Minuten. Das Fleisch auf einen Teller legen und überschüssiges Fett aus der Pfanne abgießen.

2 Esslöffel Butter in der Pfanne bei mittlerer Hitze schmelzen. Zwiebel, Knoblauch und eine Prise Salz einrühren. Kochen und rühren, bis die Zwiebeln weich und durchsichtig sind, 3 bis 4 Minuten. Zwiebelmischung zum Fleisch auf den Teller legen; beiseite stellen.

2 Esslöffel Butter in der Pfanne bei mittlerer Hitze schmelzen. Pilze hinzufügen; kochen und rühren, bis sie weich sind, etwa 10 Minuten. Pilze in eine Schüssel geben; beiseite stellen.

1/4 Tasse Butter in der Pfanne bei mittlerer Hitze schmelzen. Mehl einrühren; kochen und rühren, bis das Mehl nicht mehr roh schmeckt, etwa 4 Minuten. Langsam Rinderbrühe einrühren. Aufkochen lassen, dabei ständig rühren, dann die Hitze auf mittlere Stufe reduzieren.

Die reservierte Marinade, Worcestershire-Sauce, rote Paprikaflocken und Senf einrühren, dann das Fleisch und die Zwiebelmischung hinzufügen. Abdecken und köcheln lassen, bis das Fleisch zart ist, etwa 1 Stunde. Mit Salz und schwarzem Pfeffer würzen.