Francis William Ockenfels (1916-2018)