Pauler Gyula
Gyula Pauler
levéltáros, történész, 1841-1903