Hauptquelle · Grimm (DWB, 1854–1961)
stocher m.
stocher , m. 1 1) zu dem vorigen, ein heizer, feuerschürer; stocher incensor Diefenbach gloss. 291 b ; in der bedeutung ' mordbrenner, aufrührer ' ( vgl. auch unten stockebrand); zweifelhaft: 1231 jaur ward hörtzog Ludwig von Payern erstochen von einem stocher, der was unbekannt städtechron. 4, 127, wohl verschreibung für stecher, welches auch der parallelbericht bei Lamprecht von Regensburg bietet ( s. th. 10, 2 sp. 1273 unter 1 c). 2 2) ein geräth, mit welchem gestochert wird, besonders in der zusammensetzung zahnstocher, welcher speisereste und dergleichen zwischen den zähnen hervorstochert…