The ECB should proceed with launching a retail digital euro