Kraken Valued at $13.3B as Deutsche Börse Takes 1.5% Stake