— Huru många grufarbetare?