Setzt das türkische Militär in Syrien auf Leopard-Panzer aus deutschen Lieferungen? Berlin gab sich bislang ahnungslos. Dabei hat Ankara die Bundesregierung längst über den Einsatz informiert.