Kompakt træ for Børge Ingemann Jensen