Compact tree of Friedrich Buchholz