> сейчас уже другие шахтеры в шахтах, которые касками не стучали
Это неважно. Благодаря прадедам мы в 1945 праздновали победу и живы сейчас. А благодаря стучащим касками дедам (согласен, что это лишь симптом, но все же) - их же внуки сейчас дышат угольной пылью во славу эффективных.