#dot dd #.dd domain #east germany #TLD #defunct domain #obsolete domain #german democratic republic