German Democratic Republic (East Germany) formed.