då vår bergshandtering , som bekant , stod i högt flor , uppgick arbetsstyrkan till 7,497 personer.