Compact tree of Hobbe van Gerbranda