DAX heeft bodem rond 9400 gevonden