Kompakt træ for Børge Mortensen