Der Attentäter vom Berliner Weihnachtsmarkt, der Tunesier Anis Amri, nutzte rund ein Dutzend Alias-Namen hierzulande. Seit Anfang 2016 war er nahezu wöchentlich Thema bei deutschen Sicherheitsbehörden, wurde als Gefährder eingestuft und observiert. Wie intensiv, belegen nun zahlreiche Akten und Dokumente.