Comment by fennecfoxen

Not officially. In practice, it might as well have been. Likewise East Germany.