Dirk Tol (1894-1962)/info