Dirk Tol (1919-1997)/info