Terroristen töteten vier einheimische Soldaten in Mali