verkstäderna och grufvorna , stiger till 15 500 personer.