Compact tree of +++(Johannes) Schmidt