bergmästaren i det Vestra Söndenfjeldska bergsdistriktet , fil.