HJ Dt. Börse boersianer.info Date: 27. Juli 2015 Time: 00:00 Deutsche Börse (GER): Halbjahresbericht 2015