Petrovits Mihály
Mihály Petrovits
főmérnök, 1857-1914