Die Steinpilze mit wenig heißem Wasser einweichen. Ich mach das immer in der Microwelle.
(Die fertigen oder selbst gemachten Gnocchi in Salzwasser kochen, bis sie an der Oberfläche schwimmen, dann weiterlesen...