Kompakt træ for Hans Otto Ingvardsen