Kompakt træ for Johan Ernst Christiansen