Hauptquelle · Grimm (DWB, 1854–1961)
stecherlein n.
stecherlein , n. , deminut. zu stecher. 1 1) stecherlein, ein hündchen, das hauptsächlich zum aufscheuchen des wildes benutzt wird Schmeller 2 2, 724 ( vgl. oben stechen 1 i β sp. 1239): wenn sie schon in vera scientia nur kleine stecherln, stallpumperln sind A. Bucher bei Schmeller 2 2, 724. 2 2) entsprechend stecher 3 a ein kleiner dolch: das stecherlein pugiunculus Stieler 2155 ; stecherlein puntaruolino, stilettino per ammazzare, nettare et sparare un porco Kramer, dict. 2 (1702) , 919 c . 3 3) entsprechend stecher 3 f.: stecherlein, concavglas für kurzsichtige in horn oder metall gefaszt,…