German soldiers depart to fight the Islamic State in Syria.