The 2009 - 2015 EW sequence has been completed and DAX entered correction. This could mean ABC correction for another EW up but, imo this looks more like a start of a new bearish EW sequence. This should be confirmed if DAX breaks bellow the previous EW4 in this descending channel. I can not rule out breaking 10000 mark and testing the higher channel trendline around 10755. For this to happen, DAX should break the descending channel median and ascending channel lower trendline.