Pflichtversicherte (VDR Statistik, 1985)