La République fédérale d'Allemagne et la guerre d'Algérie — Jean-Paul Cahn, Klaus-Jürgen Müller