Kompakt træ for Hans Peter Paulsen