Ein Graph-Editor, das meint, dass GraphTool Punkte mit Pfeilen verbindet und damit die sogenannten Graphen erstellt. (hch)