Digital Crocus has been permanently shut down.