bergmästare i andra bergmästare-distriktet.