významné osobnosti v hornictví v době minulé