David Stern (1909-2003)