Kompakt træ for Otto Jensen