Compact tree of Erhard Wirsing