Die Pilze mit 250 ml lauwarmem Wasser bedecken und 30 Minuten quellen lassen. Dann abgießen, den Sud dabei auffangen und die Pilze sehr fein hacken.

Die Kartoffeln waschen, in Wasser mit Salz 25-30 Minuten kochen, abgießen, heiß schälen und durch die Kartoffelpresse auf die bemehlte Arbeitsfläche drücken. Mit Mehl und Grieß, dem Ei, den Pilzen, 1 TL Salz und Pfeffer zu einem Teig verkneten.
Auf der mit Mehl bestäubten Fläche den Teig portionsweise zu fingerdicken Rollen formen. Jede Teigrolle in 3 cm lange Stücke schneiden und diese mit einer in Mehl getauchten Gabel leicht eindrücken. Alle Gnocchi auf ein bemehltes Tuch auf ein Tablett legen und offen 45 Minuten kühl stellen.

Inzwischen für die Sauce die Stielansätze der Tomaten entfernen. Die Tomaten kurz überbrühen, häuten, vierteln, entkernen und hacken. Die Zwiebel und die Knoblauchzehen schälen und fein würfeln.
In einem breiten Topf das Öl erhitzen, Zwiebel und Knoblauch darin andünsten. Den Einweichsud der Pilze, die gehackten Tomaten, Lorbeer und Thymian einrühren. Salzen und pfeffern, bei schwacher Hitze offen 30 Minuten köcheln lassen.

In einem großen Topf reichlich Salzwasser zum Kochen bringen. Die Gnocchi in 2-3 Portionen hineingeben und jeweils 4-5 Minuten leise sieden lassen, bis sie nach oben steigen. In einem Sieb abtropfen lassen, auf einer vorgewärmten Platte anrichten und mit dem Parmesan bestreut servieren. Die Sauce dazu reichen, mit Thymian garnieren.