Mit Blick auf die gesetzgeberisch angestrebte 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. Für die Anwendung von Art. 2 Abs. 8 KVV sind daher strenge Massstäbe zu setzen (Urteil des Bundesgerichts 9C_858/2016 vom 20. Juni 2017 E. 2.2.1. f.).