Bányászat: mangánércbánya