bergmästare i vestra bergmästaredistriktet utnämt och förordnat grufingeniören i samma distrikt , fil.