République démocratique allemande — Amnesty international