Agricola Jiří Dvanáct knih o hornictví a hutnictví Agricola Jiří 1933 Matice hornicko-hutnická, Praha Technika Prodáno