Kompakt træ for Hans Jürgen Christensen