What happened to the country of Germany after World War II?