Insiderhandel-Verfahren: Deutsche Börse zahlt 10,5 Millionen Bußgeld