Erlängen

[599] Erlängen, im Bergwesen das Forttreiben eines Orts oder einer Strecke; auch die Bestätigung eines gemutheten Gangs wegen Erlängungshindernissen (Wasser, schlagende Wetter) verschieben.

Quelle:
Herders Conversations-Lexikon. Freiburg im Breisgau 1854, Band 2, S. 599.
Lizenz:
Faksimiles:
Kategorien: