German Democratic Republic (East Germany)