Kompakt træ for Hans Jensen Davidsen