#spitzhacke #german tool #mining tool #deutsch