bergmästaren i det Vestra Söndeufjeldska bergdistriktet , fil.