bergmästaredistriktet utnämnt och förordnat grufingeniören i samma distrikt fil.