Das alte Handwerkzeug des Bergmanns, hier:
Bügelsäge, Hammer, Pannschüppe, Krätzer und Spitzhacke