David Gilbarg (1918-2001)