stätligt dekorerade läktare för 4 000 personer.