Das ist Gruber. Die erste Unter-Tage-Lichtquelle der ganzen Welt. Inzwischen ist er zwar Rentner, aber trotzdem mächtig berühmt. Meint er. "Eigentlich heißt es nämlich Gruber-Lampe. Aber die haben alle immer genuschelt und dann kam eben Gruben-Lampe dabei raus", so sagt er, der Gruber.