styresmannen bergshauptman , och bergmästardistriliten hafva varitstälda