Kompakt træ for Friedrich Wilhelm Lauritzen