dotyczący górników lub górnictwa