East Germany (GDR) added