そうか違和感あったのは艦名だったんだ
ハインラインとか読んでも艦名は女性名なのに、ドイツ語はジェンダーが違うのか
（日本語では人名でさえないｗ）