欧元于（）正式诞生。