[math-fun] N G. de Bruijn, 1918 - 2012