Czesi pożegnali górnictwo. Polacy wiele w nim znaczyli