Attaque à Washington: l’employé israélien tué a aussi la nationalité allemande