德国DAX指数触及盘中创纪录高点。