Bányászat, vízügy/Bányászat általában (bányászat, felügyelet, ipartörténet, testülettörténet, Miskolci Bányakapitányság)