bergmästaren i Vestra bergmästaredistriktet fil.