Kompakt træ for Hans Friedrich Leopold Christiansen