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