grufingeniörsbefattning i mellersta bergmästaredistriktet var vid fatalietidens utgång t. f. grufingeniören fil.