Johan Hendrik Eberhart Vitali (1920-2000)