Kompakt træ for Ingvart Marinus Jensen