Citation: 9C_401/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 zur Wirksamkeit, Zweckmässigkeit und Wirtschaftlichkeit der Leistungen nach Art. 25-31 KVG (Art. 32 Abs. 1 KVG [sog. WZW-Kriterien]; 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 und der KLV 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. Darauf wird verwiesen.