Kompakt træ for Hans Georg Jensen