Haefliger, Ernst (1919-2007)