What does the departure of German troops mean for Mali? | DW News