Anthony Michael Ockenfels (1920-1996)