2002年欧元的正式流通，标志着（）。