L'Allemagne reprend ses exportations d'armes vers l'Arabie saoudite