home > > history mining industry in europe