[math-fun] Obituary for Michael Atiyah, 1929-2019