Grufingeniören i vestra bergmästaredistriktet fil.