af 3 bergmästarebefattningar eomt inrättande af 7grufveingeniörstjenster