Extremisten töteten acht Sicherheitskräfte im Nordsinai