David Y.H. Lui (1944-2011)