ECB promises offline payment without a trace for the digital euro. I am curious how they avoid double spending 😁