att marinens hufvudstation borde hafva varit i Christianssand,