Deutsche Tornado-Flieger heben wieder in den Anti-IS-Einsatz ab