( Börsen Halle ).