Auslaufen [2]
[49] Auslaufen (Bergb.), 1) die Wandruthen u. Anfälle aushauen, damit die Stempel hineingetrieben werden können; 2) hölzerne Keile (Läuse) in eine nicht passende Zimmerung treiben; 3) verschlungene Glieder einer Kette in Ordnung bringen.