Compact tree of Hans Laub