Deutsche Börse gets new legal head