Alexander Grothendieck has died