für 4 Portionen: 1 kg Gulasch vom Rind 250 g rote Zwiebeln 2 Knobizehen 1 rote Paprika 250 g Champignons 3 EL Öl 2 Lorbeerblätter Salz und Pfeffer 1 EL Tomatenmark 2 EL Mehl 5 EL roter Balsamico…