Górnictwo: dobiegły końca tegoroczne obchody górniczego święta w Republice Czeskiej