Säkerhetsåtgärder vid k. Stora teatern.