Postleitzahlenverzeichnis der DDR (1980)