Hol van az leírva, hogy kötelező bevezetni az eurót?