Compact tree of Martin Hofmann