The girth of a tree