Bányászat, vízügy/Bányaművelés (bányászat, bányaművelés, bányaszellőztetés, bányamentés, ipartörténet)