Per prima cosa preparate l'impasto per gli gnocchi. Grattugiate le patate con una grattugia fine e scolate l'acqua in eccesso. Se volete, potete anche frullare le patate grattugiate. In una ciotola mescolate poi le patate con la farina di grano saraceno, coprite la ciotola e lasciate riposare l'impasto per qualche minuto.
Nel frattempo mettete a bollire l'acqua in una pentola grande per gli gnocchi e preparate il composto di crauti: sbucciate la cipolla e tritatela finemente. Tagliate i champignon a fettine. In una padella scaldate 1 cucchiaio di olio d'oliva, aggiungete la cipolla tritata e i champignon e fate rosolare tutto per 5 minuti a fuoco medio. Poi aggiungete 1 cucchiaino di cumino e fate rosolare ancora 1 minuto – a questo punto i champignon dovrebbero essere belli dorati. Infine aggiungete i crauti nella padella e lasciate riscaldare il composto.
Ora iniziate a formare gli gnocchi. Con l'impasto di patate riposato formate dei cilindri lunghi circa 5 cm e spessi 1 cm (potete spolverare il piano di lavoro con un po' di farina di grano saraceno). Quando l'acqua nella pentola inizia a bollire, salatela, aggiungete i cilindretti di patate e lasciateli cuocere a fuoco medio senza coperchio.
Quando gli gnocchi vengono a galla, cuoceteli ancora per 3 minuti e poi toglieteli dalla pentola. Mescolate gli gnocchi cotti con il composto di crauti