Térképek, bányatörténeti, felvidéki