Pantocsek József
József Pantocsek
orvos, botanikus, paleontológus, kórházigazgató, 1846-1916