Kompakt træ for Engelbrecht Lauritzen