Re: TreeSize-Ersatz?