ドイツDAX指数が史上最高値25,232を記録、欧州株式市場が上昇