Kompakt træ for Hans Olav Jensen