Die Beteiligten streiten - im Rahmen eines Überprüfungsverfahrens - über die Verpflichtung der Beklagten, die Beschäftigungszeiten der Klägerin vom 1. September 1980 bis zum 30. Juni 1990 als Zeiten der Zugehörigkeit zum Zusatzversorgungssystem der technischen Intelligenz festzustellen.