Как жила шахта №20 и другие тульские горняки после войны.