德国DAX指数刷新纪录新高。