Das Fleisch in 2 cm dicke Würfel schneiden. Zwiebeln schälen und fein würfeln, die Paprikaschote halbieren, vom Kerngehäuse befreien und in kleine Stücke schneiden. Das Fleisch in heißem Avocadoöl scharf anbraten. Die Zwiebeln und Paprika zugeben, kurz mitbraten lassen und kräftig würzen. Nach und nach das Bier zufügen und gut eine Stunde schmoren lassen. Pilze putzen, waschen, halbieren und zu dem Gulasch geben. Inzwischen die Spätzle zubereiten. Das Mehl mit etwas verrühren und das Gulasch damit binden. Die Sahne zufügen und das Gulasch nochmals abschmecken. Zu Pilzgulasch mit Spätzle passt ein würziges Paprikagemüse.