I Krupps bergwerk äro5,000