Announcement of the completion of the sale of INTRALOT’s remaining stake in Intralot de Peru