af bergmästaredistrikten att grufveingeniöreregde