Профессиональный праздник День шахтера «Славься, город наш, шахтерский!»