Petrovics, Emil (1930–2011)