البحرية الألمانية
West German Navy service.