Von der Sache her war sie insofern auch keineswegs zwingend geboten, als der Anschluss der Magistratspersonen an die Pensionskasse im Zuge der Anpassungen an das BVG seinerzeit bloss formal, für den obligatorischen Teil erfolgt war (vgl. § 19 MPO; Botschaft B 155 vom 30.10.1990, GR 1990 S. 1109). Als Leistungserbringer(in) stand unter dem hier noch anwendbaren Regime vor der jüngsten MPO-Revision den Magistratspersonen nicht die Pensionskasse gegenüber, sondern der Staat schlechthin (vgl. Ziff. III der MPO).