Douglas Williamson (1912-2000)