East, German Democratic Republic