bland de i närheten af theatern stationerade gensdarmer och polisagenter.