3.948 ehemalige DDR-Marken bestehen noch heute