Kompakt træ for Hans Otto Christensen