Johannes Lambertus Vitali (1914-2003)