Facts about Alexander Grothendieck