Militäreinsatz auf dem Sinai - offenbar mit Israel abgestimmt