TOMKO, Jozef (1924-