Zawody, które były nierozerwalnie związane z górnictwem podziemnym, znikną wraz z jego końcem