rik arbetarebefolkning , däribland 3,000grufarbetare