Aktuell: Kampfeinsatz der Bundeswehr in MALI – noch in 2015