Kraken und Deutsche Börse: Handel mit tokenisierten Aktien