Kompakt træ for Hans Carlsen