nemligen den stora fest- eller Johannissalen ,en