Kompakt træ for Otto Julius Christiansen