beruflich Versicherten haben zur Abgeltung der Leistungen, die ihnen die Militärversicherung anstelle der obligatorischen Krankenpflegeversicherung (Art. 2 Abs. 1 lit. a MVG) sowie anstelle der
obligatorischen Unfallversicherung (lib. b) erbringt, angemessene
Prämien zu bezahlen. Diese werden direkt vom Lohn abgezogen
(Art. 8 Abs. 4 der Verordnung über die Militärversicherung [MVV]).
(…)
5.2.
Die Militärversicherung ist kein anerkannter Krankenversicherer gemäss Art. 12 Abs. 1 KVG. Sie ist nicht auf der entsprechenden
Versichererliste des Bundesamtes gemäss Art. 13 Abs. 1 KVG
aufgeführt. Wie schon aus dem Wortlaut von Art. 2 Abs. 1 lit.