Kompakt træ for Ernst Ludewig Petersen