biskop Mariensen , och prinsessan fick i dopet namnen Ingeborg CharlottaCarolina