The DeCash Project: Lessons from the CBDC Outage