de tyska marinmanövrerna utanför Kiel.