Kompakt træ for Peter Gerding Jensen