såväl namnet på grufvan , der kolen brytas , som äfven den särskilda benämning , hvarigenom kolen skiljasfrån