Das Fleisch kalt abspülen und trockentupfen. Zwiebeln schälen, vierteln und in dünne Scheiben schneiden. Öl in einem Schmortopf erhitzen. Das Fleisch darin rundherum kräftig anbraten. Zwiebeln einige Minuten mitbraten. Das Tomatenmark unterrühren, kurz mitbraten. Mit Mehl bestäuben und alles mit Salz, Pfeffer und reichlich Paprikapulver würzen. Ca. 750 ml Wasser angießen, Instantbrühe einrühren, abgetropfte Champignons und die Lorbeerblätter zugeben. Zugedeckt bei mittlerer Hitze ca. 1 1/2 Std. schmoren. Dabei immer wieder umrühren und immer mal Wasser zugeben (nach Bedarf). Das Gulasch mit Salz, Pfeffer und Paprikapulver abschmecken. Wer mag, kann zum Schluss Schmand unterrühren. Dazu schmecken Spiralnudeln (Fussili).