Kompakt træ for Hans Peter DETLEFSEN