Kompakt træ for Hans Peter Jensen Frost