Ruffinyi Jenő
Jenő Ruffinyi
bányamérnök, barlangász, 1846-1924