Kompakt træ for Hans Jensen Frost