Ежегодно в последнее воскресенье августа российские шахтеры отмечают профессиональный праздник – День шахтера