Antalet gruf- och bruksarbetare,