Eugene H Ockenfels (1914-1976)