Horten fick i gar namnet " Carl-Johans-wcrrn ,"