Bányászat, vízügy/Érc- és ásványbányászat (ércbányászat, bányaművelés, vaskohászat, vasipar, ipartörténet)