Bergmästaretjänsten i Vestra bergmästaredistriktet,