04_12_18 DEUTSCHE BORSE