Anthony Judah (1920-2000)