såväl namnet på grufvan , derkolen