Kompakt træ for Johann Ernst Christiansen