"spanning tree" Deutsche bedeutung