[math-fun] Branko Grünbaum (1929-2018)