Antonius Tol (1938-)/info