Mendelsohn, Jack, 1918-2012