DAX gisteren heel even op 10.000 punten