Zusatzversorgung Hamburg öD (RG-Beiträge)?

Habe viele Jahre im Hamburger öffentlichen Dienst (bis 2013) gearbeitet, es wurden immer die sog. RG-Beiträge abgezogen. Das ist eine Hamburger Spezialität, es geht um eine rentenähnliche Zusatzversorgung für die Hamburger Bediensteten. Lt. entsprechendem Gesetzestext können diese Beiträge ausgezahlt werden (und sind dann wogl zu versteuern), wenn das Dienstverhältnis vor Eintritt des Versorgungsfalles beendet wurde. Die Frage, bevor ich morgen den Telefonmarathon beginnend mit der ZPV antrete: Hat hier jemand Erfahrungen oder Tipps bez. Ansprechpartner, Vorgehensweise und Antragstellung?