Wurzelbäume und unendliche Wege in Graphen