Kompakt træ for Hans Viggo Jensen