I Krnpps bergwerk äro 5 , 000arbetare