Domonkos István
István Domonkos
bányász, brigádvezető, 1920-1982