ECB Mandates Central Bank Money for EU Tokenized Markets