stasi—Police politique et service de renseignements durant la période communiste en Allemagne de l’Est.