Jack Tol (1927-)/info