Kompakt træ for Hans Peter Jensen Holm