[724] Grubenlicht (Grubenlampe), Licht od. Lampe, welche die Bergleute u. alle Einfahrende in der Grubenblende, einer kleinen hölzernen, vorn offenen u. mit Blech ausgeschlagenen Laterne, die sie mit Riemen in ein Knopfloch vor der Brust befestigen, od. vorn an der Mütze beim Anfahren tragen. Grubenlampe Davy's, so v.w. Sicherheitslaterne.