Re-used in https://www.heise.de/tp/features/Perser-Juden-und-Fliegen-vor-30-Jahren-endete-der-erste-Golfkrieg-4141943.html