innehafvarens befordran till bergmästare ledigvordna grufingeniörsbefattningen i östra bergmästaredistriktet varvid