jernwerk inom nionde bergmästaredistriktet.