Johan Hendrik Eberhart Vitali (1920-2000)/tree