[522] Grabensteiger (Bergw.), Arbeiter, welcher die Aufsicht über die Kunstgraben hat.
Adelung-1793: Grabensteiger, der