Herczegh József
József Herczegh
bányamérnök, 1886-1965