The Arie DeGroot family of the Netherlands:Information about Arie Jacob DeGroot