större polisstyrka än den vanliga att infinna sig på teatern.