erschroten, trs. Z. (Bergb.), 1. durch den regelmäßigen Grubenbetrieb auf Wasser stoßen, solches bekommen, herbeiziehen. — 2. Einen andern Gang bei der Arbeit erreichen. — 3. Einen neuen Gang durch Graben auffinden.
Illustrirtes Bau-Lexikon. Praktisches Hülfs- und Nachschlagebuch im Gebiete des Hoch- und Flachbaues, Land- und Wasserbaues, Mühlen- und Bergbaues, der Schiffs- und KriegsbaukunstHrsg. von Oscar Mothes, 4. Aufl., Leipzig und Berlin: Otto Spamer 1881–1884 · Bd. 2, S. 265Scan: Universitätsbibliothek Heidelberg · gemeinfrei