Kompakt træ for Hans Jørgen Ibsen