Kompakt træ for Hans Hinrik Detlefsen