Es war der schlimmste islamistische Anschlag in Deutschland: Am 19. Dezember 2016 ermordete der Tunesier Anis Amri in Berlin zwölf Menschen und verletzte meh…