HKEX, VMware, interoperable CBDCs and more with DAML!