Hauptquelle · Grimm (DWB, 1854–1961)
grabensteiger m.
grabensteiger , m. , ' auf bergwercken derjenige, der mit den kunstgräben zu schaffen hat ' Hübner cur. u. reales lex. (1712) 589 : ( dasz ) der graben über der Müdisdorfer felder (!) bis an den Groszhartmannsdorfer ( bergwerks- )teich ... mit starken stege höltzern beleget und winters zeit mit schwarten bedecket ( wurde, und dasz ) die uffsicht uf solcher refier einem grabensteiger anvertraudt ( war ) (1676) in: mitt. d. Freiberger altertumsver. 60 (1930) 15; die aufsicht über den teich ( stausee einer bergwerksanlage ) und das ihm zugehörige netz von kleineren teichen und von gräben hat ein …