How does a stock exchange and CSD work on Distributed Ledger Technology? What exactly is tokenized, and can we really offer atomic settlement?