Vilmos Gerritsen (Hungarian, 1920)