Jennifer Aumann (1920-2000)