Agnes Mary Ockenfels (1912-2008)