Wie hoch waren insgesamt die Ausgaben aus den Haushaltsmitteln für die Bundeswehr-Missionen in Mali seit Missionsbeginn bis Stichtag 15. Dezember 2023