Eastern Germany (the former German Democratic Republic).