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