[EURO-Discuss] Brexit update on the .eu extension