kommer för framtiden bära namnet " Carl Johans torg ".