Kompakt træ for Hans Jørgen Christophersen