Kompakt træ for Otto Julius Holm