172.220.143.6 — Vorsorgereglement vom 29. Oktober 2008 für die Angestellten und die Rentenbeziehenden des Vorsorgewerks des Eidgenössischen Nuklearsicherheitsinspektorats (ENSI) (VR-ENSI)