military, East Germany, National People's Navy, warship before Day of ...