Kompakt træ for Hans Peter Larsen