Title: Facts about the German Democratic Republic