[2077] Der Linsenstahl, des -es, plur. die -stähle, ein linsenförmiges Dreheisen der Kunstdrechsler.
Pierer-1857: Linsenstahl