Peter Paul Ockenfels (1902-1988)