Rödesund benämnes hädanefter Karlsborg.