Kompakt træ for Hans Jørgen Ernst Christensen