Nicolaas Tol (1931-2007)