Kompakt træ for Hans Jørgen DETLEFSEN