Leo Mol (1915-2009)