Citation: 9C_309/2020 E. 2.2

2.2. Das Bundesverwaltungsgericht hat die massgeblichen Grundlagen gemäss Gesetz und Rechtsprechung zutreffend dargelegt. Dies betrifft namentlich die Bestimmungen und Grundsätze des KVG (in der ab 1. September 2017 geltenden Fassung) zur Wirksamkeit, Zweckmässigkeit und Wirtschaftlichkeit der Leistungen gemäss Art. 25-31 KVG (Art. 32 Abs. 1 KVG; zum komparativen Charakter der Wirtschaftlichkeit: BGE 142 V 26 E. 5.2.1 S. 34 f.), zur periodischen Überprüfung dieser Voraussetzungen (Art. 32 Abs. 2 KVG; BGE 142 V 26 E. 5.2.3 und 5.3 S. 36 ff.), zum Ziel der qualitativ hoch stehenden und zweckmässigen gesundheitlichen Versorgung zu möglichst günstigen Kosten (Art. 43 Abs. 6 KVG) sowie zur SL (Art. 52 Abs. 1 lit. b KVG). Korrekt wiedergegeben wurden ferner die relevanten Bestimmungen der KVV (in der ab 1. August 2017 geltenden Fassung) und der Verordnung des EDI vom 29. September 1995 über Leistungen in der obligatorischen Krankenpflegeversicherung (Krankenpflege-Leistungsverordnung, KLV; Stand am 3. August 2017) zu den Bedingungen für die Aufnahme von Arzneimitteln in die SL, zur Beurteilung der Wirtschaftlichkeit im Allgemeinen und zur Überprüfung der Aufnahmebedingungen alle drei Jahre respektive im Falle einer Indikationserweiterung. Darauf wird verwiesen.