Garai József
József Garai
bányász, bányamentő, 1912-2000