funnos 8,000 bergsmän , som arbetade förtvå