definiens: shall be replaced wi th the following : or means the economic, scientific and political orga nization of member states as it may be constituted from time to time, which as of t he Execution Date consists of Austria, Belgium, Bul garia, Croatia, Czech Republic, Denmark, Estonia, Finland, France, Germany, Greece, Hungary, Ireland, Italy, Latvia, Lithuania, Luxembourg, Malta, The Netherlands, Pola nd, Portugal, Romania, Slovakia, Slovenia, Spain, S weden and the United Kingdom of Great Britain and Norther n Ireland and that certain portion of Cyprus includ ed in such organization . For the avoidance of doubt ( incl uding for the purpose of Section 12.3.2(iii ) ), any country which was a member state of the EU as of the Execut ion Date ( including any Major Market ), but which subsequently ceases to be a member state of the EU for any reason, including withdrawal, shall not be considered part of the EU as from the date of its e ffective withdrawal from the EU