Truppentransporter, Ausbildung, Ausrüstung und jetzt die Betankung von Kampfjets in der Luft: Deutschland weitet die Unterstützung für den Kampf gegen islamistische Rebellen in Mali Schritt für Schritt aus.