Die Beteiligten streiten - im Rahmen eines von der Beklagten bereits eröffneten Überprüfungsverfahrens und im Berufungsverfahren nur noch - über die Verpflichtung der Beklagten weitere Entgelte des Klägers für Zeiten der Zugehörigkeit zur zusätzlichen Altersversorgung der technischen Intelligenz für die Jahre 1980 bis 1983 (Zuflussjahre) in Form von Jahresendprämien festzustellen.