[869] Erschroten (Bergb.), 1) eine Grube durch Graben erforschen; 2) (Erschärfen), einen Gang ausfindig machen; 3) einen Gang e., bei den bergmännischen Untersuchungsarbeiten einen Gang aufschließen; 4) einer Quelle nachgraben, um derselben einen Ausgang zu verschaffen; 5) Wasser e., bei bergmännischem Betrieb auf einem Gange od. einer Kluft Wasser erhalten.