25 let rozvoje hornictví a hutnictví v ČSSR výběrová bibliografie