La guerre d'Algérie et la République Démocratique Allemande