In einer großen Schüssel vermische das Allzweckmehl, die Eier, das Salz und das Wasser. Rühre kräftig, bis ein leicht klebriger Teig entsteht. Lasse den Teig für etwa 10 Minuten ruhen.

Setze einen großen Topf mit Wasser auf den Herd und bringe es zum Kochen. Füge eine großzügige Menge Salz hinzu und koche die Spaetzle, bis sie an die Oberfläche steigen.

Erhitze in einer großen Pfanne die Butter bei mittlerer Hitze. Füge die Zwiebeln hinzu und sautieren sie, bis sie weich sind. Gib den Knoblauch und die Pilze dazu und brate sie, bis sie schön gebräunt sind.

Gieße die Gemüsebrühe in die Pfanne und streue den Thymian darüber. Lasse die Sauce bei schwacher Hitze für etwa 10 Minuten köcheln.

Gib die gegarten Spaetzle in die Pfanne mit der Pilzsauce und vermenge alles gründlich. Lasse es weitere 2-3 Minuten auf niedriger Hitze stehen und serviere sofort.