Gruf ingeniörsbefattningen i Vestra bergmästare distriktet;