Rinderragout mit Pilze

2 rote Zwiebeln, grob gewürfelt 3 Möhren, geschält, grob gewürfelt 3 stangen Staudensellerie, grob gewürfelt 4 Knoblauchzehen, ungeschält einige Rosmarinzweige 2 getrocknete Loorbeerblätter 500 g Pilze 1 kg. Beinfleisch vom Rind, in 5 cm große Stücke geschnitten 1 EL Mehl Salz und Pfeffer 2 Dosen (400 g) Tomaten 1/2 l Rotwein Olivenöl  In ofenfesten Topf [...]