Kompakt træ for Hans Otto Jakobsen