( den af Schweigaard upptagna kgl.