Gazetteer of the German Democratic Republic and Berlin names approved by the United States Board on Geographic Names (Defense Mapping Agency, 1983)