Re-used in https://www.heise.de/tp/features/Mali-Ende-einer-gescheiterten-Militaerpraesenz-7224003.html