What happened to East Germany after World War II?