رويترز: الشرطة النمساوية تنفذ عملية أمنية واسعة بمدينة جراتس عقب الهجوم المسلح