(Schachthut), the mining tools needed for work in the pit, such as hammers (Fäustel), chisels (Eisen), wedges, picks (Keilhauen), hoes (Kratze), shovels, crowbars...