kolgrufwor och grufarbetare mera behöfwas.