Werkzeug der Bergleute, zum herstellen der Grubenbaue (heute: Hammer und Meißel)