(EU) Brexit means Euratom Brexit.