Compact tree of +++(Marinus) Schmidt