东德和西德分别叫什么