Hoch­schul­zeiten DDR sind keine Pflicht­beitrags­zeiten