Crex24 exchange is not a big one, but it is enough to trade Diamond, in my opinion. I traded on Crex24 since 2018, and also have no issues with that platform. Someone above proposed Stellar-based exchange, that I am not familiar with, but the given information looks interesting. I will spend my time during the weekend to discover Stellar-based exchanges. Thanks for giving me a hint on Stellar-based exchanges.