Mali: Konfliktparteien vereinbaren Waffenruhe