a) které byly pojištěny podle předpisů o národním důchodovém pojištění (bývalém veřejnoprávním důchodovém pojištění) a které se staly veřejnými zaměstnanci (§ 7 odst. 1 a 2 zákona);