Kompakt træ for Hans Otto Jacobsen