grufve-ingeniörsbefattningen inom 8:de och 9.debergmästare-distrikten