Bányászat, vízügy/Bányászat általában (bányászat, ércbányászat, helytörténet, ipartörténet, vaskohászat)