Judith Sprung (1923-2000)