Kompakt træ for Hans Josephsen