In his "Esquisse d'un Programme" Grothendieck proposed a new way to look at questions from arithmetic/algebraic geometry. One of the aspects he considers is the Galois structure of the rational numbers: The absolute Galois group of Q should finally have a topological/combinatorial description. In my talk I will explain what this precisely means and give a short survey of the progress done so far.