den s. k. Nikolaiis-salen för 840 personer.