Kompakt træ for Hans Jensen Kristensen