DigiCash (ECASH) - Pump