[823] Das Grubenlicht, des -es, plur. die -er, im Bergbaue, eine Lampe mit Talg, deren sich die Bergleute bey ihren Arbeiten in der Grube bedienen.
Brockhaus-1809: Das Grubenlicht
Lueger-1904: Grubenlicht
Meyers-1905: Grubenlicht
Pierer-1857: Grubenlicht