Kompakt træ for Børge Lauritzen