als ruhegehaltfähige Dienstzeit die Zeit vom vollendeten siebzehnten Lebensjahr bis zum Eintritt des Versorgungsfalles abzüglich von Zeiten nach
§ 12a und nicht ruhegehaltfähiger Zeiten im Sinne des
§ 6a, zuzüglich ruhegehaltfähiger Dienstzeiten vor Vollendung des 17. Lebensjahres sowie der Zeiten, um die sich die ruhegehaltfähige Dienstzeit erhöht, und der bei der Rente berücksichtigten Zeiten einer rentenversicherungspflichtigen Beschäftigung oder Tätigkeit nach Eintritt des Versorgungsfalles,