Kompakt træ for Hans Jensen Carstensen