A combinatorial summation identity over the lattice of labelled hypertrees is
established that allows one to gain concrete information on the Euler
characteristics of various automorphism groups of free products of groups.Comment: 19 pages, 3 figures, to appear in Trans. Amer. Math. So
