Leonard Wechsler (1922-2000)