Gerinne auch Gerennelaunder Bedeutung

Gerinne auch Gerennelaunder

Einrichtung um unter Tage das Grubenwasser zu leiten. Dieses können z. B. in den Fels gehauene Rinnen sein.
Gefunden auf https://www.enzyklo.de/Lokal/42112

---