This report is not available in electronic form!
We prove that the internal path length of an AVL tree of size N is bounded from above by
and show that this bound is achieved by an infinite family of AVL trees. But AVL trees of maximal height do not have maximal path length. These results carry over to the comparison cost of brother trees.