"Eine Grubenlampe ist eine Leuchte, die bei der Arbeit unter Tage eingesetzt wird. Vergleichbare Lampen sind auch in anderen Stollenbauwerken nötig, zum Beispiel beim Tunnelbau, in unterirdischen Wasserkanälen und in der Höhlenforschung.
Als Geleucht bezeichnet der Bergmann die Gesamtheit der von ihm in der Grube angewandten Leuchtmittel. Früher war Geleucht auch in anderen Bereichen ein allgemeiner Begriff für künstliche Lichtquellen, z. B. die Beleuchtung in einem Theater." - (de.wikipedia.org 09.08.2021)
de
