Kompakt træ for Hans Otto Jensen