naval operation - German English Dictionary