gemensamma operationer till sjöss ; att H.