Pilzgulasch, wir sagen Schwammerlgulasch dazu