1.3 Mit Blick auf die gesetzgeberisch gewollte Solidarität zwischen Gesunden
und Kranken sind die Ausnahmen von der Versicherungspflicht generell eng zu
halten, und es ist der Befürchtung des Gesetzgebers Rechnung zu tragen, dass
sich das schweizerische Obligatorium unterlaufen liesse, wenn beispielsweise
der Nachweis einer ausländischen freiwilligen privaten Versicherung allgemein
als Befreiungsgrund akzeptiert würde (Urteil des Bundesgerichts 9C_8/2017 vom
20.6.2017 Erw. 2.2.1 mit Hinweis auf BGE 132 V 310 Erw. 8.5.6).