Der Attentäter von Berlin war als Gefährder bekannt - und wurde dennoch unterschätzt. Damit das nicht mehr passiert, soll künftig eine neue Software eingesetzt werden. Und im Fall Amri hätte diese nach Recherchen von NDR, WDR und SZ auch angeschlagen. Von G. Mascolo und L. Kamp.