Kompakt træ for Hans Hinrich Detlefsen