Beinscheiben in größere Stücke schneiden. Mit Salz, Pfeffer und Paprika würzen. In den erhitzten Dutch Oven geben und rund herum anbraten. Fleisch entnehmen, nun die Zwiebel und die Pilze darin anrösten. Zwiebel und Pilze aus dem DO nehmen. Zum Schluss die Butter in den Dutch Oven, das Mehl in der Butter anschwitzen bis es dunkel wird. Mit der Rinderbrühe auffüllen. Alle Zutaten in den Topf. Ca. 2 Stunden schmurgeln lassen. Die Soße eventuell zum Schluß noch mit Sahne verfeinern.