Kompakt træ for Hans Jørgen Lorenzen