Was there any particular reason East Germany was called the “German Democratic Republic” and not “People’s Republic” or “Socialist Republic?”