Die Startup-Idee, die eine Informatik-Legende dazu brachte, Google zu verlassen