Kompakt træ for Børge Carstensen