[943] Der Rāsenstếcher, des -s, plur. ut nom. sing. derjenige, welcher Rasen sticht, d.i. sie aus der Oberfläche der Erde gräbt.
Pierer-1857: Rasenstecher