Compact tree of Christoph Kohlhase