Republique Democratique Allemagne = German Democratic Republic (ICOMOS bulletin ; ;, 1978)