Non conosco il tedesco, ma leggo che il nome sarebbe un diminutivo di Spatz 'passero', e gli Spätzle sarebbero quindi dei 'passerotti'.
Il Sansoni traduce genericamente con «tipo di pasta fatta in casa».
In Rete si trovano varie attestazioni di gnocchetti tirolesi, come descrizione ma anche proprio come nome del piatto, persino in prodotti commerciali:
Gli gnocchetti tirolesi o spatzle, sono degli gnocchi preparati con gli spinaci, che vengono formati con uno strumento apposito che permette di farli cadere direttamente nella pentola di acqua bollente. Per loro natura cuociono molto presto, e vanno trattati con particolare attenzione perché potrebbero sfaldarsi. (Fonte)
Gli Spatzle o gnocchetti tirolesi sono un prodotto originario della Germania meridionale. (Fonte)
Gnocchetti tirolesi agli spinaci (Fonte)

Commenti, idee?