Kompakt træ for Hans Peter Ludwig Jensen