The European Central Bank registers the "digital euro" trademark