Antal Plesz (1930-2014)