LeRoy Bernard Ockenfels (1923-1999)