[404] Linsenstahl, kleines, an der Schneide linsenförmiges Dreheisen, zum Ausdrehen seiner Sachen.
Adelung-1793: Linsenstahl, der