In Gruben, in denen offenes Geleuchte in Verwendung steht, muß jede Person ein Feuerzeug oder Zündhölzer zum Anzünden der Grubenlampe bei sich führen.