The euro as a digital currency