9C_69/2011 - 2011-07-11 - Krankenversicherung - Krankenversicherung (Spezialitätenliste)

Bundesgericht
Tribunal fédéral
Tribunale federale
Tribunal federal

{T 0/2}
9C 69/2011

Urteil vom 11. Juli 2011
II. sozialrechtliche Abteilung

Besetzung
Bundesrichter U. Meyer, Präsident,
Bundesrichter Borella, Kernen,
Bundesrichterinnen Pfiffner Rauber, Glanzmann,
Gerichtsschreiber Fessler.

Verfahrensbeteiligte
P.________ AG,
vertreten durch Rechtsanwalt Dr. Frank Scherrer
und/oder Rechtsanwältin Caroline Müller,
Beschwerdeführerin,

gegen

Bundesamt für Gesundheit BAG,
Direktionsbereich Kranken- und Unfallversicherung,
Hessstrasse 27e, 3003 Bern,
Beschwerdegegner.

Gegenstand
Krankenversicherung (Spezialitätenliste),

Beschwerde gegen den Entscheid
des Bundesverwaltungsgerichts
vom 1. Dezember 2010.

Sachverhalt:

A.
Im September 2006 ersuchte die Firma P.________ AG um Aufnahme des Präparates Champix mit dem Wirkstoff Vareniclin in der galenischen Form und Dosierung Filmtabletten/0,5 mg und 1 mg in verschiedenen Packungsgrössen, mit der Indikation "Raucherentwöhnung bei Erwachsenen" in die Spezialitätenliste (nachfolgend: SL). Nachdem das Schweizerische Heilmittelinstitut (Swissmedic) die Zulassung von Champix in Tablettenform als Arzneimittel für dieselbe Indikation unter Auflagen erteilt hatte (Verfügung vom 21. Dezember 2006), teilte das Bundesamt für Gesundheit (BAG) mit Schreiben vom 15. Januar 2008 mit, mangels Beleg der Wirksamkeit in Bezug auf langjährige Nikotinabstinenz und damit einer nur sehr bedingt möglichen Kosten-/Nutzenanalyse für eine Vergütung durch die obligatorische Krankenpflegeversicherung müsse das Gesuch abgelehnt werden. Nach einer Unterredung mit der Gesuchstellerin am 3. März 2008 erliess das BAG am 3. April 2008 eine Verfügung, mit welcher es die Aufnahme von Champix in die SL mangels Wirksamkeit, Zweckmässigkeit und Wirtschaftlichkeit der Leistung abwies.

B.
Die Beschwerde der P.________ AG wies das Bundesverwaltungsgericht mit Entscheid vom 1. Dezember 2010 mit der Begründung ab, die Nikotinabhängigkeit sei nicht als eigenständige, behandlungsbedürftige gesundheitliche Störung mit Krankheitswert einzustufen und es bestehe dafür auch keine Vergütungspflicht im Rahmen der Präventionsleistungen.

C.
Die P.________ AG lässt Beschwerde in öffentlich-rechtlichen Angelegenheiten führen mit dem Rechtsbegehren, der Entscheid vom 1. Dezember 2010 sei aufzuheben und Champix Filmtabletten 0,5/1 mg in verschiedenen Packungsgrössen zu entsprechenden (Fabrikabgabe- und Publikumshöchst-)Preisen in die SL aufzunehmen, allenfalls unter Limitationen; eventualiter sei die Sache zu neuer Entscheidung an das Bundesverwaltungsgericht zurückzuweisen.
Das BAG beantragt die Abweisung der Beschwerde. Das Bundesverwaltungsgericht hat auf eine Vernehmlassung verzichtet.

Die P.________ AG hat eine Stellungnahme zur Vernehmlassung des Bundesamtes eingereicht.

Erwägungen:

1.
Die Beschwerdeführerin rügt, die Vorinstanz habe zu Unrecht eine Verletzung des rechtlichen Gehörs durch das BAG (unzureichende Begründung der angefochtenen Verfügung vom 3. April 2008) verneint. Darauf braucht mit Blick auf den Ausgang des Verfahrens nicht näher eingegangen zu werden.

2.
Das BAG lehnte die Aufnahme von Champix in die SL (Art. 52 Abs. 1 lit. b KVG) mangels nachgewiesener Wirksamkeit, Zweckmässigkeit und Wirtschaftlichkeit der Leistung ab (Art. 32 Abs. 1 KVG, Art. 65 Abs. 3 KVV, Art. 30 Abs. 1 lit. a sowie Art. 32 ff . KLV, je in den bis 30. September 2009 gültig gewesenen Fassungen). Die Vorinstanz hat offengelassen, ob eine Behandlung mit Champix wirksam, zweckmässig und wirtschaftlich ist. Sie hat die Nichtaufnahme dieses von Swissmedic als Arzneimittel zugelassenen Präparates in die SL mit der Begründung bestätigt, bei der Nikotinabhängigkeit handle es sich nicht um eine selbständige Krankheit im Sinne von Art. 1a Abs. 2 lit. a KVG und die medikamentöse Nikotinentwöhnung sei nicht in der Positivliste der durch die obligatorische Krankenpflegeversicherung zu übernehmenden präventiven Massnahmen aufgeführt (Art. 26 und 33 Abs. 5 KVG; Art. 33 lit. d KVV in Verbindung mit Art. 12 ff . KLV und dazugehörigem Anhang I).

3.
Es ist eine allgemein bekannte Tatsache, dass (übermässiger) Tabakkonsum zu Gesundheitsschädigungen, u.a. zu Herzkreislauf-, Atemwegs-, (verschiedenen Formen von) Krebs- und chronisch obstruktiven Lungenerkrankungen, ferner auch Gonarthrose, Diabetes mellitus, Hypertonie oder Psoriasis führen kann (BUNDESAMT FÜR GESUNDHEIT, Nationales Programm Tabak 2008-2012, S. 4; Mathias Berger, Psychische Erkrankungen. Klinik und Therapie, 3. Aufl. 2009, S. 369 f.; Jens Thonack/Wolfgang Hoffmann, Nikotin - für den Hausarzt eine wichtige Substanz, Primary Care 10/2010 S. 180; vgl. auch BGE 111 V 186 E. 3 S. 189 ff.). Tabakmissbrauch stellt die häufigste vermeidbare Todesursache dar, wobei die Betroffenen in relativ jungem Alter sterben (Bundesamt für Statistik, Tabakbedingte Todesfälle in der Schweiz. Schätzung für die Jahre 1995-2007, 2009, S. 4 f.; Andreas Zeller, Medikamentöse Behandlung bei Nikotinentzug, in: Therapeutische Umschau 8/2010 S. 419; Karl Groner, Die Raucher/Nichtraucher-Segmentierung in der Lebensversicherung, in Medinfo 1/2009, S. 18; Cahill und Andere, Nicotine receptor partial agonists for smoking cessation, 2007, in: Cochrane Database of Systematic Reviews 2007, Issue 1, S. 2). Trotz der mit dem Tabakkonsum verbundenen
gesundheitlichen Risiken stellt die Behandlung mit Champix zur "Raucherentwöhnung bei Erwachsenen" unbestrittenermassen keine durch die obligatorische Krankenpflegeversicherung zu vergütende Leistung der medizinischen Prävention dar.

4.
4.1 Die soziale Krankenversicherung gewährt Leistungen u.a. bei Krankheit (Art. 3 ATSG; Art. 1a Abs. 2 lit. a KVG). Die obligatorische Krankenpflegeversicherung übernimmt die Kosten für die Leistungen, die der Diagnose und Behandlung einer Krankheit und ihrer Folgen dienen. Diese Leistungen umfassen u.a. die ärztlich verordneten Arzneimittel der SL (Art. 52 Abs. 1 lit. b KVG; Art. 25 Abs. 1 und 2 lit. b KVG).
4.2
4.2.1 Krankheit ist jede Beeinträchtigung der körperlichen, geistigen oder psychischen Gesundheit, die nicht Folge eines Unfalles ist und die eine medizinische Untersuchung oder Behandlung erfordert oder eine Arbeitsunfähigkeit zur Folge hat (Art. 3 Abs. 1 ATSG). Dieser Gesetzeswortlaut stimmt bis auf die mit der 4. IV-Revision (in Kraft seit 1. Januar 2004) eingefügte ausdrückliche Erwähnung der psychischen Gesundheit mit Art. 2 Abs. 1 KVG (in Kraft gestanden bis 31. Dezember 2002) überein, sodass auf die dazu ergangene Rechtsprechung abgestellt werden kann (BGE 130 V 343 E. 2.2 S. 344; Urteil des Eidg. Versicherungsgerichts K 92/05 vom 3. November 2005 E. 2.2.1).
4.2.2 Wesentliche Begriffsmerkmale einer Krankheit sind demnach die Beeinträchtigung der körperlichen oder geistigen Gesundheit, verstanden als ein von der Norm abweichender Körper- oder Geisteszustand, sowie das Erfordernis einer medizinischen Untersuchung oder Behandlung (BGE 129 V 32 E. 4.2.1 S. 38). Nicht jede Abweichung von einem idealen ("normalen") Körperzustand ist als Krankheit im Rechtssinne (BGE 124 V 118 E. 3b S. 121 mit Hinweisen) zu qualifizieren. Die Beeinträchtigung muss eine gewisse Schwere aufweisen, damit ihr "Krankheitswert" zukommt. Auf übliche und erträgliche Abweichungen von Ideal- oder Normvorstellungen trifft dies nicht zu (Urteil des Eidg. Versicherungsgerichts K 92/05 vom 3. November 2005 E. 2.2.2). Behandlungsbedürftigkeit im Sinne von Art. 3 Abs. 1 ATSG liegt vor, wenn die Beeinträchtigung der Gesundheit die körperlichen und geistigen Funktionen in so beträchtlichem Masse einschränkt, dass die versicherte Person ärztlicher Hilfe bedarf, die Gesundung ohne medizinische Hilfe wahrscheinlich nicht oder nicht mit Aussicht auf Erfolg innert angemessener Zeit zu erreichen wäre, oder wenn ihr nicht zugemutet werden kann, ohne wenigstens den Versuch einer Behandlung zu leben (SJ 2011 I S. 209, 9C 465/2010 E.
4.1; Urteil des Eidg. Versicherungsgerichts K 1/05 vom 16. August 2005 E. 1.2).
4.2.3 Die Beschwerdeführerin weist insoweit richtig darauf hin, dass eine behandlungsbedürftige Krankheit auch gegeben ist, wenn ein gefährdeter Gesundheitszustand unbehandelt sich wahrscheinlich verschlimmerte und dem mit der grössten Aussicht auf Erfolg durch eine möglichst frühzeitige Therapie entgegengewirkt werden kann, wenn also einer nicht ganz entfernten, ernst zu nehmenden Gesundheitsschädigung durch zweckmässige medizinische Behandlung zuvorgekommen werden kann (Urteil des Eidg. Versicherungsgerichts K 5/06 vom 21. August 2006 E. 3.2; GEBHARD EUGSTER, Krankenversicherung, in: Soziale Sicherheit, SBVR Bd XIV, 2. Aufl. 2007, S. 502 Rz. 324 f.). Diese Regel ist indessen auf den konkreten Einzelfall zugeschnitten und im Bereich der SL grundsätzlich nicht anwendbar. Die statistische Wahrscheinlichkeit für eine erfolgreiche Applikation eines Medikamentes ist in der Regel zu gering. Gemäss Protokoll der Sitzung der Eidgenössischen Arzneimittelkommission (EAK) vom 20. September 2007 beträgt sie bei Champix 21 %. Die gesundheitlichen Folgen des Tabakkonsums sind denn auch lediglich im Einzelfall nachweisbar (BGE 111 V 186 E. 3 S. 189 ff.).

5.
5.1 Ausgehend von dem in E. 4.2.2 umschriebenen Krankheitsbegriff hat die Vorinstanz erwogen, die blosse Nikotinabhängigkeit bringe keine derart schweren körperlichen und sozialen Nebenerscheinungen mit sich, wie etwa eine Alkohol- oder Drogenabhängigkeit. Bei der Alkoholsucht werde ein behandlungsbedürftiger Krankheitswert ab dem Zeitpunkt des Kontrollverlustes bejaht. Raucher und Raucherinnen zeigten in der Regel kein sozial unverträgliches Verhalten, welches mit Veränderungen der Persönlichkeit verbunden sei und ein Funktionieren in der Gesellschaft erschwere oder gar verunmögliche. Die Nikotinabhängigkeit sei damit nicht als Krankheit im Sinne von Art. 1a Abs. 2 KVG und Art. 3 ATSG zu qualifizieren.

5.2 Die Beschwerdeführerin bringt vor, eine Verneinung des Krankheitscharakters der Nikotinsucht und eine Unterscheidung in dieser Beziehung zur Alkohol- und Drogensucht lasse sich weder aus medizinischer Sicht noch im gesellschaftlichen Kontext rechtfertigen. Das BAG habe die grundsätzliche Vergütbarkeit von Nikotinentwöhnungspräparaten durch die obligatorische Krankenpflegeversicherung anerkannt und damit den Krankheitscharakter der Nikotinsucht bejaht. Dies gelte zumindest unter bestimmten einschränkenden Bedingungen, insbesondere bei Vorliegen anderer Erkrankungen.
5.3
5.3.1 Nach der auch von der Vorinstanz erwähnten, unter dem KUVG ergangenen Rechtsprechung ist die Alkoholsucht an sich schon prinzipiell als Krankheit zu betrachten und nicht erst dann, wenn sie Symptom oder Ursache einer anderen Erkrankung ist (BGE 101 V 77 E. 1a S. 79 und EVGE 1969 S. 11 E. 1b S. 12). Ebenfalls gilt die Heroinsucht als Krankheit (BGE 118 V 107 E. 1b S. 109). Voraussetzung ist jedoch - auch hier - eine Behandlungsbedürftigkeit. Ist eine solche nicht erst dann gegeben, wenn die Sucht Symptom oder Ursache einer anderen Erkrankung ist, stellt sich die Frage nach dem Zweck der Behandlung. Die Vorinstanz spricht in diesem Zusammenhang von sozial unverträglichem Verhalten bzw. erschwertem oder nicht mehr möglichem "Funktionieren in der Gesellschaft", was es zu verhindern gelte. Dies liegt indessen nicht mehr im rechtlichen Zielbereich medizinischer Behandlung der möglichst vollständigen Beseitigung der körperlichen oder psychischen Beeinträchtigung (BGE 130 V 299 E. 6.2.1.1 S. 305; 127 V 138 E. 5 S. 146; RKUV 2003 Nr. KV 251 S. 226, K 79/02 E. 3.1). Die Erfahrungstatsache, dass regelmässiger Tabakkonsum von einer gewissen Intensität in der Regel - wenn überhaupt - später als Alkohol- oder Drogenkonsum zu einem sozial
auffälligen oder sogar unverträglichen Verhalten führt, stellt somit keinen hinreichenden Grund dar, in Bezug auf den Krankheitswert zwischen Nikotinsucht einerseits, Alkohol- und Drogensucht anderseits zu differenzieren.
5.3.2 In BGE 118 V 107 E. 1b S. 109 wurde im Zusammenhang mit Drogenkonsum Sucht als unbezwingbares Verlangen zur fortgesetzten Einnahme mit Entziehungserscheinungen nach Absetzen, Tendenz zur Steigerung der Dosis, Schäden für Individuum und Gesellschaft charakterisiert. Diese Begriffsumschreibung gilt im Wesentlichen auch heute noch (vgl. etwa Pschyrembel, Klinisches Wörterbuch, 262. Aufl. 2011, S. 4), und zwar in gleicher Weise für Nikotinabhängigkeit und Abhängigkeit von anderen psychoaktiven Substanzen wie Drogen und Alkohol (Collège Romand de Médecine de l'Addiction und Schweizerische Gesellschaft für Suchtmedizin, Neurowissenschaften und Sucht, November 2009; vgl. zur Quantifizierung der Nikotinsucht Thonack/Hoffmann, a.a.O., S. 181, und Zeller, a.a.O., S. 419 f.). Gemäss Beschwerdeführerin bestehen sodann auch keine wesentlichen Unterschiede in Bezug auf die Wirkung auf die Hirnfunktionen, das Abhängigkeitspotenzial im Sinne eines ständig steigenden Konsumverlangens, die Schwierigkeit aufzuhören, insbesondere wegen der Entzugserscheinungen (u.a. verminderte Herzfrequenz, Senkung des diastolischen Blutdrucks, Hungergefühl, Gewichtszunahme, Schlaf- und Konzentrationsstörungen, Reizbarkeit, Depressionen; Berger, a.a.O., S.
369; Thonack/Hoffmann, a.a.O; Zeller, a.a.O.; JACQUES Cornuz, Rauchentwöhnung - die zentrale Rolle der Ärztinnen und Ärzte, Therapeutische Umschau 9/200, S. 657) sowie die gesellschaftliche Wahrnehmung von Rauchen als gesundheitsschädigendes Verhalten. Ebenfalls differenzieren die anerkannten internationalen Klassifikationssysteme ICD-10 der WHO sowie DSM IV der American Psychiatric Association hinsichtlich der "Krankheitseigenschaft" nicht zwischen Nikotinsucht und Drogen- und Alkoholsucht.
5.3.3 Abgesehen von den - krankenversicherungsrechtlich allerdings nicht relevanten - Auswirkungen auf das soziale Verhalten resp. den Folgen für das "Funktionieren der Gesellschaft", ist kein Grund ersichtlich, mit Bezug auf den Krankheitswert zwischen der Nikotinsucht einerseits, Alkohol- und Drogensucht anderseits zu unterscheiden. Daraus ergibt sich indessen nicht, dass Nikotinabhängigkeit als solche eine Krankheit im Sinne der obligatorischen Krankenpflegeversicherung darstellt. Die Sucht muss aus medizinischer Sicht behandlungsbedürftig sein, damit ihr Krankheitswert zukommt. Unter welchen Bedingungen das der Fall ist, hat die Vorinstanz zu Unrecht nicht geprüft. Jedenfalls kann die Aufnahme von Champix in die SL nicht mit der Begründung, die Nikotinsucht stelle keine Krankheit im Sinne der Krankenversicherungsgesetzgebung dar, abgelehnt werden.
5.4
5.4.1 Gemäss BAG ist der Krankheitswert der Nikotinsucht zu bejahen, insbesondere wenn das Rauchen psychischen Ursprungs ist und wenn sehr häufig eine Zigarette benötigt wird, um sich laufend Nikotin zuzuführen. Vor allem bei Rauchern mit bereits eingetretenen gesundheitlichen Folgeschäden könne der Krankheitswert bejaht werden. Notwendig seien also Begleiterkrankungen.
5.4.2 Das Bundesamt misst somit der Nikotinsucht dann Krankheitswert zu, wenn sie genügend stark im Sinne eines hohen täglichen Konsums von Tabakwaren ist (was sich negativ auf das soziale Verhalten und die Integration ins Arbeitsleben auswirke) oder vor allem wenn sie Ursache oder Folge einer Erkrankung ist. Diese Umschreibung ist jedoch zu allgemein und erscheint auch wenig praktikabel. Es wird Aufgabe des Bundesamtes sein, nach Konsultation der Eidgenössischen Kommission für allgemeine Leistungen und Grundsatzfragen (Art. 37a lit. a KVV) Bedingungen zu formulieren, unter denen die Behandlungsbedürftigkeit der Nikotinsucht und damit deren Krankheitswert zu bejahen ist. Dabei geht es vorab darum, einen Mindestgrad an Nikotinabhängigkeit festzulegen, beispielsweise nach Massgabe des international anerkannten Fagerström-Tests (Berger, a.a.O., S. 368; Thonack/Hoffmann, a.a.O., S. 181, und Zeller, a.a.O., S. 419) unter Berücksichtigung der Expositionsdauer (pack-years) und der Art des Konsums (Groner, a.a.O., S. 22 f.), welcher erreicht werden muss, um überhaupt von einer Krankheit sprechen zu können. Nicht jedes Rauchverhalten ist als behandlungsbedürftige Sucht zu betrachten. Mit Bezug auf (Begleit-)Erkrankungen sodann kann nicht
vorausgesetzt werden, dass diese bereits ein Stadium erreicht haben, wo auch ein sofortiger Rauchstopp weder zu einer Verbesserung noch wenigstens zu einer Stabilisierung des Gesundheitszustandes beitragen kann. Erste Anzeichen von wahrscheinlich mit dem (übermässigen) Tabakkonsum in Zusammenhang stehenden körperlichen Veränderungen etwa pulmonaler oder kardiovaskulärer Art oder diesbezügliche Manifestationen wie etwa Zittern, Hustenanfälle mit Auswurf oder Atemprobleme, Herzstiche oder -schmerzen bei körperlicher Anstrengung, Schmerzen in den Beinen beim Gehen (vgl. etwa "http://www.netdoktor.de/Gesund-Leben/Rauchen/Krank-durch-Rauchen/Rauchen-und-Gesundheit-417.html"; Thonack/Hoffmann, a.a.O.) müssen genügen (in diesem Sinne auch VALÉRIE JUNOD, Le fumeur est-il un malade?, in: Jusletter vom 7. März 2011 Rz. 19). Ist die Nikotinsucht Symptom resp. Folge einer Erkrankung - in Betracht fallen insbesondere psychische Leiden (vgl. Yasser Khazaal/Daniele Zullino, Dépendances aux substances et comorbidités psychiatriques: Tendances actuelles, in: Medinfo 2/2009, S. 50 ff. und Jean-Paul Humair, Arrêt du tabac chez les patients avec un trouble psychiatrique, in: Revue Médicale Suisse, 5/2009 S. 1472 ff. sowie Berger, a.a.O., S. 370) -,
stellt sich im Sinne einer den Krankheitswert bestimmenden medizinischen Limitation (BGE 129 V 32 E. 4.2.2 S. 39) etwa die Frage, ob die betreffende Person den Willen aufbringen kann, mit dem (übermässigen) Tabakkonsum aufzuhören.

6.
Die Aufnahme eines Arzneimittels in die SL (Art. 52 Abs. 1 lit. b KVG) setzt u.a. voraus, dass es wirksam, zweckmässig und wirtschaftlich ist und eine gültige Zulassung des Schweizerischen Heilmittelinstituts (Swissmedic) vorliegt (Art. 65 Abs. 1 und 2 [seit 1. Oktober 2009: Abs. 3] KVV und Art. 30 Abs. 1 KLV). Die zweite Bedingung ist vorliegend erfüllt. Champix ist seit 21. Dezember 2006 im Sinne des Bundesgesetzes vom 15. Dezember 2000 über Arzneimittel und Medizinprodukte (Heilmittelgesetz [HMG]; SR 812.21) für die Indikation "Raucherentwöhnung bei Erwachsenen" zugelassen.

6.1 Ein Arzneimittel ist wirksam, wenn dessen Einsatz geeignet ist, das angestrebte diagnostische oder therapeutische Ziel zu erreichen. Für die Beurteilung der Wirksamkeit ist somit entscheidend, welcher medizinische Erfolg damit erzielt werden soll (BGE 128 V 159 E. 5c/aa S. 165; vgl. auch BGE 130 V 299 E. 6.1 und 6.2.1.1 S. 304 f. sowie BGE 133 V 115 E. 3.1 S. 116). Auch beim Nachweis der Wirksamkeit als Voraussetzung für die Zulassung nach Art. 10 Abs. 1 lit. a HMG ist von den Therapiezielen auszugehen. Dabei wird (auch) vom Nutzen-Risiko-Verhältnis gesprochen, welches günstig sein muss (Urteil 2A.243/2006 vom 22. Dezember 2006 E. 2.2, 3.2 und 3.4).
Das BAG stützt sich bei der Prüfung der Wirksamkeit eines Arzneimittels auf die Unterlagen, die für die Registrierung durch Swissmedic massgebend waren und allenfalls weitere, die einverlangt werden können (Art. 32 KLV). Die Beurteilung der Wirksamkeit muss sich in jedem Fall auf klinisch kontrollierte Studien abstützen (Art. 65 Abs. 3 Satz 2 KVV [seit 1. Oktober 2009: Art. 65a KVV]; im gleichen Sinne Art. 11 Abs. 1 HMG und Art. 2 ff. der Verordnung des Schweizerischen Heilmittelinstituts vom 9. November 2001 über die Anforderungen an die Zulassung von Arzneimitteln [AMZV; SR 812.212.22]). Weiter hat das Bundesamt die Meinungsäusserungen und Empfehlungen der beratenden Kommissionen (Art. 37a KVV in Verbindung mit Art. 33 Abs. 4 KVG), insbesondere der EAK (Art. 37e KVV) zu berücksichtigen (vgl. BGE 129 V 32 E. 3.2.2 S. 35).
6.1.1 Das BAG erachtete in der Verfügung vom 3. April 2008 die Wirksamkeit von Champix nicht als genügend nachgewiesen. Die Zielsetzung des Einsatzes dieses Arzneimittels sei im Grundsatz eine dauerhafte Nikotinabstinenz. Das Verlangen zu rauchen komme bei ehemaligen Rauchern erwiesenermassen immer wieder auf. Die eingereichten Studien belegten lediglich einen statistisch signifikanten "Rauchstopp" nach längstens 52 Wochen, was für den Nachweis der Langzeitwirkung von Champix nicht genüge. In der Vernehmlassung vor Bundesgericht bringt das Bundesamt überdies vor, damit eine Therapie mit Champix wirksamer wäre, müsse der Patient den Willen zum "Rauchstopp" aufbringen und es sei eine ärztliche Begleitung erforderlich. Die Verschreibung dieses Medikamentes sollte demnach nur im Rahmen eines therapeutischen Gesamtkonzeptes erfolgen, wozu auch eine ausführliche Diagnostik in Bezug auf eine vorbestehende oder begleitende psychiatrische Erkrankung gehöre. Das Erfordernis einer zusätzlichen psychiatrischen Begleittherapie durch einen Spezialisten zeige ebenfalls, dass die Wirksamkeit einer Therapie mit Champix alleine eingeschränkt sei.
Die Beschwerdeführerin bringt im Wesentlichen vor, eine Rauchabstinenz von mindestens einem Jahr sei gemäss internationalem Standard, insbesondere auch nach der WHO, ein hinreichender Beleg für die Langzeitwirkung einer Raucherentwöhnungsbehandlung. Die Rückfallquote sei erwiesenermassen im ersten Jahr am höchsten. Auch bei Medikamenten gegen die Alkoholsucht hätten für das BAG (und Swissmedic) Studien von 52 Wochen zum Wirksamkeitsnachweis genügt. Ebenfalls habe die EAK die Wirksamkeit von Champix nicht in Frage gestellt. Neuere Studien hätten sodann die Überlegenheit von Champix auch gegenüber Nikotinersatztherapie nach einer Dauer von 52 Wochen gezeigt. Schliesslich rügt die Beschwerdeführerin, das BAG habe sich bei der Wirksamkeitsbeurteilung in keiner Weise auf die Unterlagen gestützt, welche für die Registrierung bei Swissmedic massgebend gewesen seien.
6.1.2
6.1.2.1 Entgegen der Auffassung des BAG schliessen allenfalls notwendige begleitende Massnahmen von Anfang an oder über die Behandlung mit Champix hinaus die Wirksamkeit der Anwendung dieses Arzneimittels nicht aus (vgl. auch Urteil 2A.243/2006 vom 22. Dezember 2006 E. 3.4.3-4). Solche zusätzlichen Behandlungen sind aber unter dem Gesichtspunkt der Zweckmässigkeit und Wirtschaftlichkeit zu berücksichtigen. Im Weitern ergibt sich aus dem Protokoll der Eidgenössischen Kommission für allgemeine Leistungen (ELK [Art. 37a lit. a KVV]; seit 1. Januar 2008: Eidgenössische Kommission für allgemeine Leistungen und Grundsatzfragen [Art. 37a lit. a KVV]) vom 11. September 2007 nichts Entscheidendes zur Frage der Wirksamkeit einer Behandlung mit Champix. Im Protokoll der EAK vom 20. September 2007 sodann wurde festgehalten, dass die Kommission vor allem für die Frage der Wirtschaftlichkeit zuständig sei. Es wurde eine auf zwei Jahre befristete Aufnahme ("Die Firma muss nach 2 Jahren eine Auswertung der Patientendaten im Sinne einer Kohortenstudie liefern. Sie muss die Daten von mindestens 80 % der behandelten Patienten liefern.") vorgeschlagen, was die Zustimmung der Kommissionsmehrheit fand. Das BAG ist dieser Meinungsäusserung nicht
gefolgt, was insofern nicht zu beanstanden ist, als die Aufnahme von Arzneimitteln in die SL, deren Wirksamkeit sich noch in Abklärung befindet, d.h. nicht hinreichend (nach wissenschaftlichen Methoden) nachgewiesen ist, dem Gesetz widerspricht (BGE 128 V 159 E. 5c/bb/bbb S. 167). Eine im Hinblick auf den Nachweis der Wirksamkeit zeitlich befristete (suspensiv bedingte) Aufnahme ist grundsätzlich unzulässig. Anderseits kann die Aufnahme in die SL mit Bedingungen und Auflagen verbunden werden (Art. 65 Abs. 1bis [seit 1. Oktober 2009: Abs. 5] KVV). Schliesslich sind die Aufnahmebedingungen alle drei Jahre zu überprüfen (Art. 65d KVV und Art. 35b KLV). Im dargelegten Sinne wäre der erwähnte Vorschlag der Mehrheit der Mitglieder der EAK für eine "auf zwei Jahre befristete Aufnahme" von Champix in die SL zulässig.
6.1.2.2 Im Zulassungsentscheid von Swissmedic vom 21. Dezember 2006 wurde der Nachweis der Wirksamkeit einer Behandlung mit Champix in der galenischen Form von Filmtabletten zu 0,5 oder 1 mg zur Raucherentwöhnung aufgrund der eingereichten Studien als erbracht erachtet, am Ende der Behandlung (Wochen 9-12) und auch nach dem Aufrechterhalten der Abstinenz bis zur Woche 52, wobei sich ein zusätzlicher Behandlungszyklus von 12 Wochen als vorteilhaft erwiesen habe. Die Zulassung durch Swissmedic stellt zwar lediglich eine notwendige, nicht aber hinreichende Bedingung für die Aufnahme eines Arzneimittels mit der entsprechenden medizinischen Indikation in die SL dar (BGE 136 V 395 E. 4.2 in fine S. 398; 133 V 115 E. 3.3 in fine S. 120; 130 V 532 E. 3.3 S. 539). Indessen legt das BAG nicht dar und noch weniger begründet es, welchen Zeitraum (grösser als 52 Wochen) die klinischen Studien für den genügenden Nachweis der Langzeitwirkung von Champix abzudecken hätten. Im Unterschied dazu konnte sich Swissmedic zur Begründung der von ihm als notwendig erachteten längeren Zeitspanne für den Wirksamkeitsnachweis eines Medikamentes gegen Adipositas auf wissenschaftliche Empfehlungen und Leitlinien stützen (Urteil 2A.243/2006 vom 22. Dezember
2006 E. 3.4.4). Vorliegend beruhen jedoch - soweit ersichtlich und etwas anderes wird nicht geltend gemacht - alle Studien zur Wirksamkeit von Massnahmen zur Raucherentwöhnung auf einer Beobachtungszeit von 52 Wochen. Im Lebensversicherungsbereich gilt eine Person, die früher geraucht hat, als Nichtraucher, sobald sie während 12 Monaten nicht mehr geraucht hat (Groner, a.a.O., S. 22 ff.). Unter diesen Umständen hat der Nachweis der Wirksamkeit von Champix grundsätzlich als erbracht zu gelten. Allerdings soll laut Humair, a.a.O., S. 1474, der Wirkstoff Varenicline von Champix an depressiven und schizophrenen Personen nicht getestet worden sein. Trifft dies zu, könnte mit Bezug auf diese Kategorie von Versicherten der Wirksamkeitsnachweis nicht als erbracht gelten. Gemäss dem mit dem Zulassungsgesuch bei Swissmedic eingereichten Begleitbericht ('Clinical Overview') waren Personen mit einer "serious or unstable disease" während der sechs vorangehenden Monate von einer Teilnahme an den Studien ausgeschlossen.

6.2 Die Zweckmässigkeit eines Arzneimittels in Bezug auf seine Wirkung und Zusammensetzung wird nach klinisch-pharmakologischen und galenischen Erwägungen, nach unerwünschten Wirkungen sowie nach der Gefahr missbräuchlicher Verwendung beurteilt (Art. 33 Abs. 1 KLV). Entscheidend ist der diagnostische oder therapeutische Nutzen der Anwendung im Einzelfall unter Berücksichtigung der damit verbundenen Risiken, gemessen am angestrebten Heilerfolg der möglichst vollständigen Beseitigung der körperlichen oder psychischen Beeinträchtigung (BGE 130 V 299 E. 6.1 S. 304) sowie an der Missbrauchsgefahr (BGE 129 V 32 E. 4.1 S. 37). Nach der Verwaltungspraxis erfolgt die Beurteilung der Zweckmässigkeit aufgrund des Verhältnisses von Erfolg und Misserfolg (Fehlschlägen) einer Anwendung sowie der Häufigkeit von Komplikationen (BGE 127 V 138 E. 5 S. 146). Zweckmässigkeit der durch die obligatorische Krankenpflegeversicherung zu vergütenden Leistung setzt deren Wirksamkeit voraus (BGE 133 V 115 E. 2.2 S. 116).
Das BAG stützt sich bei der Prüfung der Zweckmässigkeit eines Arzneimittels auf die Unterlagen, die für die Registrierung durch Swissmedic massgebend waren und allenfalls weitere, die einverlangt werden können (Art. 33 Abs. 2 KLV). Weiter hat das Bundesamt die Meinungsäusserungen und Empfehlungen der beratenden Kommissionen, insbesondere der EAK zu berücksichtigen.
6.2.1 Das BAG verneinte in der Verfügung vom 3. April 2008 auch die Zweckmässigkeit von Champix zur Raucherentwöhnung. Zwar verhindere Nikotinabstinenz kostenintensive Folgeerkrankungen, welche das Rauchen nach sich ziehen könne. Voraussetzung sei jedoch eine Abstinenz über längere Zeit, im Idealfall für den Rest des Lebens. Dieser Wirksamkeitsnachweis sei jedoch nicht erbracht. Es lägen zwar vergleichende 'Cost-Effectiveness'-Analysen vor, welche die Kosten der Behandlung den Konsequenzen gegenüberstellten. Für "rauchstoppwillige" Personen existierten indessen zahlreiche alternative Behandlungsprogramme. In der Vernehmlassung vor Bundesgericht führt das Bundesamt überdies an, falls eine ärztlich begleitete Raucherentwöhnung stattfinde, könnten Arzneimittel der SL zur Linderung der Entzugssymptome eingesetzt werden.
Die Beschwerdeführerin bringt hauptsächlich vor, es gebe kein geeigneteres Medikament, um das Ziel der Raucherentwöhnung zu erreichen, als der Einsatz von Champix, auch unter dem Gesichtspunkt von Nebenwirkungen und Missbrauchsgefahr. Die Behandlung sei mindestens so zweckmässig wie die (Listen-)Präparate gegen Alkohol- und Opiatsucht.
6.2.2
6.2.2.1 Es kommen - neben dem Einsatz von Champix - weitere Behandlungsformen zur Anwendung, um von Tabakabhängigkeit loszukommen (Nikotinersatztherapie [NET], insbesondere Nikotin-Pflaster, -Kaugummi, -Inhaler und Lutschtabletten sowie Nasal-Spray, Antidepressiva, namentlich Bupropion SR [Slow Release, Zyban], Akupunktur, psychologisch unterstützende Verhaltensänderung; Zeller, a.a.O.; Thonack/Hoffmann, a.a.O., S. 180; Berger, a.a.O., S. 370 ff.; Cornuz, a.a.O., S. 655 ff., 658 f.; Ping Wu und Andere, Effectiveness of smoking cessation therapies: a systematic review and meta-analysis, in: BMC Public Health, 2006, 6/300). Ziel der Therapie ist es, die bei (sofortigem) Aufhören mit Rauchen regelmässig auftretenden Entzugssymptome (vorne E. 5.3.2), welche allenfalls der medizinischen Behandlung bedürfen (Thonack/Hoffmann, a.a.O., S. 180; vgl. auch Humair, a.a.O., und Maria Dobrinas und andere, Aspects génétiques de la consommation de tabac et prise en charge clinique, Revue Médicale Suisse, 5/2009 S. 1463 ff.), entscheidend zu mildern und so den Rückfall zu vermeiden (Cornuz, a.a.O., S. 658; Zeller, a.a.O., S. 420). Mit einer (unterstützenden) medikamentösen Behandlung wird zudem das Craving nach Nikotin, d.h. das nahezu
unbezwingbare Verlangen zu rauchen, durch Auslösen entsprechender chemischer Prozesse gelindert (Zeller, a.a.O., S. 422; Berger, a.a.O., S. 371).
6.2.2.2 Gemäss dem Begleitbericht ('Clinical Overview') zum bei Swissmedic eingereichten Zulassungsgesuch zeigen die klinischen Studien eine statistisch signifikante Überlegenheit von Champix gegenüber Bupropion und Placebo nach einer 12-wöchigen Behandlung und gegenüber Placebo nach weiteren 12 Wochen Behandlung bis Woche 52 in Bezug auf Rauchabstinenz (vorne E. 6.1.2.2). Soweit es sich bei den beobachteten gesundheitlichen Beeinträchtigungen - vorab in der ersten Woche auftretende Übelkeit - um Nebenwirkungen von Champix und nicht um Entzugssymptome infolge des "Rauchstopps" handelte, waren sie gering und in den meisten Fällen nicht Anlass, die Therapie abzubrechen und wieder mit Rauchen anzufangen (Zeller, a.a.O., S. 423 f.; Cahill, a.a.O., S. 7). Ebenfalls wurden ein erhöhtes kardio-vaskuläres Risiko und aufgrund der (klinischen) Daten ein Missbrauchspotenzial, insbesondere eine Suchtwirkung, verneint. Insoweit stellt der Einsatz von Champix zur Raucherentwöhnung grundsätzlich eine zweckmässige Behandlung dar. Kontraindikationen, wie etwa Schwangerschaft und Stillen (ZELLER, a.a.O., S. 424; CORNUZ, a.a.O., S. 659), oder die Notwendigkeit einer Beschränkung der Medikamentendosis, wie bei Niereninsuffizienz gemäss Verfügung der
Swissmedic vom 21. Dezember 2006 ist durch eine entsprechende Limitierung Rechnung zu tragen (Art. 73 KVV; vgl. BGE 130 V 532). Im Zulassungsentscheid wurde als zu erfüllende Auflage u.a. verlangt, dass in den einzureichenden Berichten über die Unbedenklichkeit von Champix (Periodic Safety Update Report [PSUR]) das Augenmerk speziell auf die insbesondere pharmakodynamischen Interaktionen mit psychotropen und kardiovaskulären Medikamenten gerichtet werden müsse (Art. 16 Abs. 1 HMG und Art. 4 Abs. 2 AMZV).
6.2.2.3 Aufgrund der Akten ist sodann davon auszugehen, dass beim gegenwärtigen Wissensstand andere medizinische Massnahmen nicht ebenso wirksam oder sogar noch wirksamer sind und gleichzeitig weniger Nebenwirkungen zeigen als eine Behandlung mit Champix. Das BAG bringt nichts Gegenteiliges vor. Gemäss drei von der Beschwerdeführerin im vorinstanzlichen Verfahren eingereichten Fachartikeln ist Champix auch wirksamer (more effectiv) als Nikotinersatztherapie (Wu, a.a.O.; THE NHS INFORMATION CENTRE, Statistics on NHS Stop Smoking Services in England, April to September 2007, 2008 ; Henri-Jean Aubin und Andere, Varenicline versus transdermal nicotine patch for smoking-cessation: Results from a randomised, open-label trial, Thorax 2008 S. 717 ff.). Anderseits scheint auch das Bundesamt davon auszugehen, dass eine - von der obligatorischen Krankenpflegeversicherung zu vergütende - Therapie zur Raucherentwöhnung grundsätzlich im Rahmen ärztlicher Unterstützung und Begleitung durchzuführen ist (vgl. Thonack/Hoffmann, a.a.O., und Cornuz, a.a.O.). Insoweit eine solche allein nicht genügt, vermag das BAG nicht plausibel zu machen, weshalb die Verwendung von Arzneimitteln der SL zur Linderung der Entzugssymptome zweckmässiger sein soll als
der Einsatz eines Medikamentes gegen die (behandlungsbedürftige) Nikotinsucht. In diesem Zusammenhang ist davon auszugehen, dass in allen klinischen Studien zum Nachweis der Wirksamkeit (effectiveness) einer Raucherentwöhnungstherapie die Probanden der Placebo-Gruppe die aufgetretenen gesundheitlichen Störungen, soweit notwendig, ärztlich behandeln liessen.
Im dargelegten Sinne kann somit auch die Zweckmässigkeit einer Behandlung mit Champix nicht verneint werden.
6.3
6.3.1 Ein Arzneimittel gilt als wirtschaftlich, wenn es die indizierte Heilwirkung mit möglichst geringem finanziellem Aufwand gewährleistet (Art. 34 Abs. 1 KLV [seit 1. Oktober 2009: Art. 65a Abs. 1 KVV]). Für die Beurteilung der Wirtschaftlichkeit eines Arzneimittels werden u.a. dessen Fabrikabgabepreis im Ausland, dessen Wirksamkeit im Verhältnis zu anderen Arzneimitteln gleicher Indikation oder ähnlicher Wirkungsweise und dessen Kosten pro Tag oder Kur im Verhältnis zu den Kosten von Arzneimitteln gleicher Indikation oder ähnlicher Wirkungsweise berücksichtigt (Art. 34 Abs. 2 lit. a -c KLV in Verbindung mit Art. 65 Abs. 3bis KVV [seit 1. Oktober 2009: Art. 65b Abs. 2 KVV]).
6.3.2 Die Wirtschaftlichkeit eines Arzneimittels beurteilt sich somit teils unter dem Gesichtspunkt der vergleichenden Wertung mehrerer zum gleichen Behandlungszweck zur Verfügung stehender Heilmittel, teils nach der Höhe des Preises des in Frage stehenden Präparates an sich. Darüber hinaus muss der Preis auch in einem vernünftigen Verhältnis zum angestrebten Nutzen stehen. Je schwerer eine Krankheit (und gegebenenfalls deren Auswirkung auf die Arbeitsfähigkeit) im Allgemeinen einzustufen ist, desto höhere Kosten dürfen für das indizierte Arzneimittel verantwortet werden. Anderseits setzt der Begriff der Wirtschaftlichkeit voraus, dass sich der Preis eines Arzneimittels auch mit Bezug auf dessen Kosten in vertretbarem Rahmen hält. Bei der vergleichenden Wertung im Besonderen kommt dem Kriterium der Wirksamkeit massgebende Bedeutung zu. Lässt ein Arzneimittel, durch wissenschaftliche Studien nachgewiesen, den Heilerfolg in kürzerer Zeit, mit weniger Nebenwirkungen und geringerer Rückfallrate erwarten als ein anderes Arzneimittel gleicher Indikation oder ähnlicher Wirkungsweise, ist dem beim Preisvergleich, allenfalls unter dem Gesichtspunkt der Kosten der Anwendung, Rechnung zu tragen. Auch kann sich unter Umständen der
Preisvergleich auf ein einziges (Konkurrenz-)Präparat beschränken (BGE 127 V 275 E. 2b S. 280; SVR 2002 KV Nr. 7 S. 21, K 39/99 E. 4a/bb, nicht publ. in: BGE 127 V 149). Wo es nur eine einzige (medikamentöse) Behandlungsmöglichkeit gibt, ist nach dem Grundsatz der Verhältnismässigkeit die Aufnahme des betreffenden Arzneimittels in die SL zu verweigern, wenn zwischen Aufwand und Heilerfolg ein grobes Missverhältnis besteht (BGE 136 V 395 E. 7.4 S. 407).
6.3.3 Das BAG verneinte in der Verfügung vom 3. April 2008 die Wirtschaftlichkeit einer Behandlung mit Champix im Wesentlichen aus denselben Gründen wie die Zweckmässigkeit (vorne E. 6.2.1). Nikotinabstinenz verhindere zwar kostenintensive Folgeerkrankungen, welche das Rauchen nach sich ziehen könne. Vorausgesetzt sei jedoch eine Abstinenz über längere Zeit, im Idealfall für immer. Dieser Wirksamkeitsnachweis sei jedoch nicht erbracht. Im Weitern lägen zwar vergleichende 'Cost-Effectiveness'-Analysen vor. Für "rauchstoppwillige" Personen existierten indessen zahlreiche alternative Behandlungsprogramme. Abgesehen davon stellten die Kosten einer Behandlung mit Champix keine zusätzliche finanzielle Belastung dar, da der Einkauf des Tabakproduktes wegfalle. In der Vernehmlassung vor Bundesgericht führt das Bundesamt überdies an, die medikamentöse Therapie mit Champix sei kostenintensiv und unter Betrachtung des Kosten-Nutzen-Effektes für eine Vergütung durch die (OKP) als nicht geeignet einzustufen.
Die Beschwerdeführerin bringt u.a. vor, die beantragten Preise, zu denen Champix in die SL aufzunehmen sei, entsprächen dem Auslandpreisvergleich und hielten einem Quervergleich auf Tagestherapiekostenbasis (mit Zyban) Stand. Es existierten keine wirtschaftlicheren Alternativbehandlungen zur Raucherentwöhnung. Im Übrigen würden auch bei einer Therapie von Alkohol- und Drogensüchtigen der Einkauf der übermässig konsumierten Substanzen wegfallen, ohne dass die betreffenden Personen die medikamentöse Behandlung selber bezahlen müssten.
6.3.4
6.3.4.1 Dem BAG kann nicht beigepflichtet werden, soweit es die Wirtschaftlichkeit von Champix mangels nachgewiesener Wirksamkeit verneint (vorne E. 6.1.2.2). Weiter legt das Bundesamt nicht dar, inwiefern alternative Behandlungsmethoden zur Raucherentwöhnung unter Berücksichtigung von Wirksamkeit und Zweckmässigkeit ein günstigeres Kosten-/Nutzen-Verhältnis aufweisen als eine Therapie mit Champix. In diesem Zusammenhang bringt die Beschwerdeführerin richtig vor, dass das BAG ihren Auslandpreisvergleich und den Quervergleich mit Zyban im vorinstanzlichen Verfahren nicht beanstandete. Der Umstand, dass Zyban kein Listenpräparat ist und die SL kein anderes Arzneimittel mit gleicher Indikation oder ähnlicher Wirkungsweise enthält, spricht nicht gegen die Wirtschaftlichkeit einer Behandlung mit Champix (vorne E. 6.3.2). Schliesslich trifft zwar zu, dass bei (erfolgreicher) Therapie mit diesem Arzneimittel der Einkauf des Tabakproduktes dahinfällt. Die Wirtschaftlichkeit (und Zweckmässigkeit) der Therapie kann indessen nicht mit der Begründung verneint werden, die Kosten stellten für die betreffende Person keine Zusatzbelastung dar, weil sie entsprechend weniger Auslagen habe. Die obligatorische Krankenpflegeversicherung differenziert
in Bezug auf die Leistungspflicht weder nach der Ursache der behandlungsbedürftigen Krankheit, insbesondere ob ein (bewusst oder unbewusst) gesundheitsschädigendes Verhalten vorliegt, noch nach den finanziellen Ressourcen der Versicherten. Zweckmässigkeit und Wirtschaftlichkeit können allenfalls die Aufnahme eines Arzneimittels in die SL mit einer auf die Menge bezogenen Limitierung erfordern (Art. 73 KVV; RKUV 2004 KV Nr. 272 S. 109, K 156/01 E. 3.2.2 in fine; Eugster, a.a.O., S. 597 Rz. 596; vgl. auch BGE 131 V 349 E. 1 S. 350). In diesem Sinne beantragt die Beschwerdeführerin eventualiter die Vergütung von Champix für maximal einen Therapiezyklus innerhalb von zwei Jahren.
6.3.4.2 Gemäss Protokoll der EAK vom 20. September 2007 ist mit dem beantragten Preis für Champix bei einer Behandlungsdauer von 12 Wochen mit Kosten von Fr. 450.- bzw. Fr. 900.- bei weiteren 12 Wochen zu rechnen. Dieser Betrag ist mit Blick auf die schon kurze Zeit nach Behandlungsbeginn feststellbaren positiven Auswirkungen eines Rauchstopps auf die Gesundheit (vgl. Thonack/Hoffmann, a.a.O., S. 181 f.; Hugo Saner, Herz und Gefäss, Therapeutische Umschau 12/2005 S. 829) nicht zu hoch. Bei der Beurteilung der Wirtschaftlichkeit eines Arzneimittels, welches in die SL aufgenommen werden will, sind indessen, soweit hinreichend quantifizierbar, auch die gesamten Kosten für die soziale Krankenversicherung zu berücksichtigen (vgl. BGE 136 V 395 E. 7.6-8 S. 410 ff.). An der Sitzung der EAK vom 20. September 2007 wurden diese Kosten bei einer Aufnahme von Champix in die SL auf Fr. 45 Mio. in drei Jahren beziffert, was bei einer Erfolgsquote von lediglich 21 % eine enorme Summe darstellt, zumal wenn mit einer verbesserten ärztlichen Beratung und Unterstützung ("counselling") eine Abstinenz nach einem Jahr von 13 % sollte erreicht werden können. Dem steht gegenüber, dass 27 % der Bevölkerung zwischen 14 und 65 Jahren in der Schweiz rauchen,
40-60 % der Raucher an sich damit aufhören wollten, es aber allein nicht schafften (vgl. die neuesten Ergebnisse zum Tabakkonsum 2010 im Rahmen des seit 2001 vom Psychologischen Institut der Universität Zürich, Sozial- und Gesundheitspsychologie, im Auftrag des BAG durchgeführten Tabakmonitoring Schweiz [TMS; seit 2011: Suchtmonitoring Schweiz]), und der Tabakkonsum enorme (Folge-)Kosten für das Gesundheitswesen und die öffentliche Hand verursacht.
Die Frage der Wirtschaftlichkeit von Champix kann erst dann abschliessend beurteilt werden, wenn feststeht, unter welchen Bedingungen die Nikotinsucht Krankheitswert hat, d.h. eine behandlungsbedürftige Krankheit im Sinne der sozialen Krankenversicherung darstellt (vgl. E. 5.4.2), und unter welchen indikations- und mengenmässigen Limitierungen eine Aufnahme dieses Arzneimittels in die SL erfolgen kann (vgl. E. 6.2.2.2 und 6.3.4.1). Die Sache ist zu diesem Zweck und zu anschliessender neuer Verfügung über das Aufnahmegesuch an das BAG zurückzuweisen.

7.
Dem Ausgang des Verfahrens entsprechend sind die Gerichtskosten je zur Hälfte den Parteien aufzuerlegen (Art. 66 Abs. 1 BGG). Das Bundesamt hat indessen keine Kosten zu tragen (Art. 66 Abs. 4 BGG). Hingegen hat es der anwaltlich vertretenen Beschwerdeführerin eine Parteientschädigung zu bezahlen (Art. 68 Abs. 2 BGG).

Demnach erkennt das Bundesgericht:

1.
Die Beschwerde wird in dem Sinne teilweise gutgeheissen, dass der Entscheid des Bundesverwaltungsgerichts vom 1. Dezember 2010 und die Verfügung des Bundesamtes für Gesundheit vom 3. April 2008 aufgehoben werden und die Sache an dieses zurückgewiesen wird, damit es nach Abklärungen im Sinne der Erwägungen über die Aufnahme von Champix in die Spezialitätenliste neu verfüge.

2.
Die Beschwerdeführerin hat die Hälfte der Gerichtskosten, somit Fr. 10'000.- zu bezahlen.

3.
Das Bundesamt für Gesundheit hat die Beschwerdeführerin für das bundesgerichtliche Verfahren mit Fr. 2'500.- zu entschädigen.

4.
Das Bundesverwaltungsgericht hat die Gerichtskosten und die Parteientschädigung für das vorangegangene Verfahren neu festzusetzen.

5.
Dieses Urteil wird den Parteien und dem Bundesverwaltungsgericht, Abteilung III, schriftlich mitgeteilt.

Luzern, 11. Juli 2011
Im Namen der II. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts

Der Präsident: Meyer

Der Gerichtsschreiber: Fessler

SR 832.10 Bundesgesetz vom 18. März 1994 über die Krankenversicherung (KVG) KVG Art. 52 Analysen und Arzneimittel, Mittel und Gegenstände - 1 Nach Anhören der zuständigen Kommissionen und unter Berücksichtigung der Grundsätze nach den Artikeln 32 Absatz 1 und 43 Absatz 6:
¹	Nach Anhören der zuständigen Kommissionen und unter Berücksichtigung der Grundsätze nach den Artikeln 32 Absatz 1 und 43 Absatz 6:
^a	erlässt das EDI:
^a1	eine Liste der Analysen mit Tarif,
^a2	eine Liste der in der Rezeptur verwendeten Präparate, Wirk- und Hilfsstoffe mit Tarif; dieser umfasst auch die Leistungen des Apothekers oder der Apothekerin,
^a3	Bestimmungen über die Leistungspflicht und den Umfang der Vergütung von der Untersuchung oder Behandlung dienenden Mitteln und Gegenständen, die nach den Artikeln 25 Absatz 2 Buchstabe b und 25a Absätze 1bis und 2 verwendet werden;
^b	erstellt das BAG eine Liste der pharmazeutischen Spezialitäten und konfektionierten Arzneimittel mit Preisen (Spezialitätenliste).
²	Für Geburtsgebrechen (Art. 3 Abs. 2 ATSG176) werden zusätzlich Kosten für die zum Leistungskatalog der Invalidenversicherung gehörenden Arzneimittel nach Artikel 14ter Absatz 5 des Bundesgesetzes vom 19. Juni 1959177 über die Invalidenversicherung zu den gestützt auf diese Bestimmung festgelegten Höchstpreisen übernommen.178
³	Analysen, Arzneimittel und der Untersuchung oder der Behandlung dienende Mittel und Gegenstände dürfen der obligatorischen Krankenpflegeversicherung höchstens nach den Tarifen, Preisen und Vergütungsansätzen nach Absatz 1 in Rechnung gestellt werden.179 Das EDI bezeichnet die im Praxislaboratorium des Arztes oder der Ärztin vorgenommenen Analysen, für die der Tarif nach den Artikeln 46 und 48 festgesetzt werden kann.180 Es kann zudem die der Untersuchung oder Behandlung dienenden Mittel und Gegenstände nach Absatz 1 Buchstabe a Ziffer 3 bezeichnen, für die ein Tarif nach Artikel 46 vereinbart werden kann.181

SR 832.10 Bundesgesetz vom 18. März 1994 über die Krankenversicherung (KVG) KVG Art. 32 Voraussetzungen - 1 Die Leistungen nach den Artikeln 25-31 müssen wirksam, zweckmässig und wirtschaftlich sein. Die Wirksamkeit muss nach wissenschaftlichen Methoden nachgewiesen sein.
¹	Die Leistungen nach den Artikeln 25-31 müssen wirksam, zweckmässig und wirtschaftlich sein. Die Wirksamkeit muss nach wissenschaftlichen Methoden nachgewiesen sein.
²	Die Wirksamkeit, die Zweckmässigkeit und die Wirtschaftlichkeit der Leistungen werden periodisch überprüft.

SR 832.102 Verordnung vom 27. Juni 1995 über die Krankenversicherung (KVV) KVV Art. 65 - 1 Ein Arzneimittel kann in die Spezialitätenliste aufgenommen werden, wenn es über eine gültige Zulassung der Swissmedic verfügt.
¹	Ein Arzneimittel kann in die Spezialitätenliste aufgenommen werden, wenn es über eine gültige Zulassung der Swissmedic verfügt.
^1bis	Erfüllt ein Arzneimittel die Voraussetzungen für eine Aufnahme in die Geburtsgebrechen-Spezialitätenliste nach Artikel 3sexies der Verordnung vom 17. Januar 1961273 über die Invalidenversicherung (IVV), so wird es nicht in die Spezialitätenliste aufgenommen.274
²	Arzneimittel, für die Publikumswerbung nach Artikel 2 Buchstabe b der Arzneimittel-Werbeverordnung vom 17. Oktober 2001275 betrieben wird, werden nicht in die Spezialitätenliste aufgenommen.
³	Arzneimittel müssen wirksam, zweckmässig und wirtschaftlich sein.
⁴	Die Inhaberin der Zulassung für ein Originalpräparat muss dem BAG die Nummern der Patente und der ergänzenden Schutzzertifikate sowie deren Ablaufdatum mit dem Gesuch um Aufnahme in die Spezialitätenliste angeben.276
⁵	Das BAG kann die Aufnahme mit Bedingungen und Auflagen verbinden, insbesondere:
^a	die Aufnahme eines Arzneimittels, dessen Wirksamkeit, Zweckmässigkeit oder Wirtschaftlichkeit sich in Abklärung befindet, befristen, wenn therapeutische Alternativen fehlen oder eine bessere Wirksamkeit im Vergleich zu bestehenden Therapien erwartet wird;
^b	die Aufnahme mit der Auflage verbinden, dass die Zulassungsinhaberin dem BAG meldet, wenn sie mit dem Arzneimittel über einen bestimmten Zeitraum einen Umsatz in einer festgelegten Höhe überschreitet.277

SR 832.112.31 Verordnung des EDI vom 29. September 1995 über Leistungen in der obligatorischen Krankenpflegeversicherung (Krankenpflege-Leistungsverordnung, KLV) - Krankenpflege-Leistungsverordnung KLV Art. 30 Grundsatz - 1 Ein Arzneimittel wird in die Spezialitätenliste aufgenommen, wenn:226
¹	Ein Arzneimittel wird in die Spezialitätenliste aufgenommen, wenn:226
^a	seine Wirksamkeit, Zweckmässigkeit und Wirtschaftlichkeit nachgewiesen sind;
^b	die Zulassung des Schweizerischen Heilmittelinstituts (Swissmedic) vorliegt.
²	...229

SR 832.10 Bundesgesetz vom 18. März 1994 über die Krankenversicherung (KVG) KVG Art. 1^a Geltungsbereich - 1 Dieses Gesetz regelt die soziale Krankenversicherung. Sie umfasst die obligatorische Krankenpflegeversicherung und eine freiwillige Taggeldversicherung.
¹	Dieses Gesetz regelt die soziale Krankenversicherung. Sie umfasst die obligatorische Krankenpflegeversicherung und eine freiwillige Taggeldversicherung.
²	Die soziale Krankenversicherung gewährt Leistungen bei:
^a	Krankheit (Art. 3 ATSG11);
^b	Unfall (Art. 4 ATSG), soweit dafür keine Unfallversicherung aufkommt;
^c	Mutterschaft (Art. 5 ATSG).

SR 832.10 Bundesgesetz vom 18. März 1994 über die Krankenversicherung (KVG) KVG Art. 33 Bezeichnung der Leistungen - 1 Der Bundesrat kann die von Ärzten und Ärztinnen oder von Chiropraktoren und Chiropraktorinnen erbrachten Leistungen bezeichnen, deren Kosten von der obligatorischen Krankenpflegeversicherung nicht oder nur unter bestimmten Bedingungen übernommen werden.
¹	Der Bundesrat kann die von Ärzten und Ärztinnen oder von Chiropraktoren und Chiropraktorinnen erbrachten Leistungen bezeichnen, deren Kosten von der obligatorischen Krankenpflegeversicherung nicht oder nur unter bestimmten Bedingungen übernommen werden.
²	Er bezeichnet die nicht von Ärzten und Ärztinnen oder von Chiropraktoren und Chiropraktorinnen erbrachten Leistungen nach Artikel 25 Absatz 2 sowie die Leistungen nach den Artikeln 26, 29 Absatz 2 Buchstaben a und c und 31 Absatz 1 näher.
³	Er bestimmt, in welchem Umfang die obligatorische Krankenpflegeversicherung die Kosten einer neuen oder umstrittenen Leistung übernimmt, deren Wirksamkeit, Zweckmässigkeit oder Wirtschaftlichkeit sich noch in Abklärung befindet.
⁴	Er setzt Kommissionen ein, die ihn bei der Bezeichnung der Leistungen beraten. Er sorgt für die Koordination der Arbeit der genannten Kommissionen.
⁵	Er kann die Aufgaben nach den Absätzen 1-3 dem EDI oder dem BAG übertragen.

SR 832.102 Verordnung vom 27. Juni 1995 über die Krankenversicherung (KVV) KVV Art. 33 Allgemeine Leistungen - Das Eidgenössische Departement des Innern (EDI) bezeichnet nach Anhören der zuständigen Kommission:128
^a	die von Ärzten und Ärztinnen oder Chiropraktoren und Chiropraktorinnen erbrachten Leistungen, deren Kosten nicht oder nur unter bestimmten Bedingungen von der obligatorischen Krankenpflegeversicherung übernommen werden;
^b	die nicht von Ärzten und Ärztinnen oder Chiropraktoren und Chiropraktorinnen erbrachten Leistungen nach den Artikeln 25 Absatz 2 und 25a Absätze 1 und 2 des Gesetzes;
^c	die neuen oder umstrittenen Leistungen, deren Wirksamkeit, Zweckmässigkeit oder Wirtschaftlichkeit sich in Abklärung befinden; es bestimmt die Voraussetzungen und den Umfang der Kostenübernahme durch die obligatorische Krankenpflegeversicherung;
^d	die medizinischen Präventionsmassnahmen nach Artikel 26 des Gesetzes, die Leistungen bei Mutterschaft nach Artikel 29 Absatz 2 Buchstaben a und c des Gesetzes und die zahnärztlichen Behandlungen nach Artikel 31 Absatz 1 des Gesetzes;
^e	die von der obligatorischen Krankenpflegeversicherung zu übernehmenden Mittel und Gegenstände nach Artikel 52 Absatz 1 Buchstabe a Ziffer 3 des Gesetzes; es setzt Höchstbeträge für ihre Vergütung fest;
^f	den in Artikel 25 Absatz 2 Buchstabe c des Gesetzes vorgesehenen Beitrag an die Kosten von Badekuren; dieser Beitrag dient der Deckung von Kosten bei Badekuren, die nicht durch andere Leistungen aus der obligatorischen Krankenpflegeversicherung gedeckt sind; er kann während höchstens 21 Tagen pro Kalenderjahr ausgerichtet werden;
^g	den in Artikel 25 Absatz 2 Buchstabe g des Gesetzes vorgesehenen Beitrag an die Transport- und Rettungskosten; die medizinisch notwendigen Transporte von einem Spital in ein anderes sind Teil der stationären Behandlung;
^h	das Verfahren der Bedarfsermittlung;
ⁱ	den in Artikel 25a Absätze 1 und 4 des Gesetzes vorgesehenen und nach Pflegebedarf differenzierten Beitrag an die Pflegeleistungen.

SR 832.112.31 Verordnung des EDI vom 29. September 1995 über Leistungen in der obligatorischen Krankenpflegeversicherung (Krankenpflege-Leistungsverordnung, KLV) - Krankenpflege-Leistungsverordnung KLV Art. 12 Grundsatz - Die Versicherung übernimmt die Kosten für folgende Massnahmen der medizinischen Prävention (Art. 26 KVG111):
^a	prophylaktische Impfungen (Art. 12a);
^b	Massnahmen zur Prophylaxe von Krankheiten (Art. 12b);
^c	Untersuchungen des allgemeinen Gesundheitszustandes (Art. 12c);
^d	Massnahmen zur frühzeitigen Erkennung von Krankheiten bei bestimmten Risikogruppen (Art. 12d);
^e	Massnahmen zur frühzeitigen Erkennung von Krankheiten in der allgemeinen Bevölkerung, einschliesslich Massnahmen, die sich an alle Personen einer bestimmten Altersgruppe oder an alle Männer oder alle Frauen richten (Art. 12e).

SR 830.1 Bundesgesetz vom 6. Oktober 2000 über den Allgemeinen Teil des Sozialversicherungsrechts (ATSG) ATSG Art. 3 Krankheit - 1 Krankheit ist jede Beeinträchtigung der körperlichen, geistigen oder psychischen Gesundheit, die nicht Folge eines Unfalles ist und die eine medizinische Untersuchung oder Behandlung erfordert oder eine Arbeitsunfähigkeit zur Folge hat.7
¹	Krankheit ist jede Beeinträchtigung der körperlichen, geistigen oder psychischen Gesundheit, die nicht Folge eines Unfalles ist und die eine medizinische Untersuchung oder Behandlung erfordert oder eine Arbeitsunfähigkeit zur Folge hat.7
²	Als Geburtsgebrechen gelten diejenigen Krankheiten, die bei vollendeter Geburt bestehen.

SR 832.10 Bundesgesetz vom 18. März 1994 über die Krankenversicherung (KVG) KVG Art. 25 Allgemeine Leistungen bei Krankheit - 1 Die obligatorische Krankenpflegeversicherung übernimmt die Kosten für die Leistungen, die der Diagnose oder Behandlung einer Krankheit und ihrer Folgen dienen.
¹	Die obligatorische Krankenpflegeversicherung übernimmt die Kosten für die Leistungen, die der Diagnose oder Behandlung einer Krankheit und ihrer Folgen dienen.
²	Diese Leistungen umfassen:
^a	die Untersuchungen und Behandlungen, die ambulant, stationär oder in einem Pflegeheim sowie die Pflegeleistungen, die im Rahmen einer stationären Behandlung erbracht werden von:74
^a1	Ärzten oder Ärztinnen,
^a2	Chiropraktoren oder Chiropraktorinnen,
^a2bis	Pflegefachpersonen,
^a3	Personen, die auf Anordnung oder im Auftrag eines Arztes oder einer Ärztin beziehungsweise eines Chiropraktors oder einer Chiropraktorin Leistungen erbringen;
^b	die ärztlich oder unter den vom Bundesrat bestimmten Voraussetzungen von Chiropraktoren oder Chiropraktorinnen verordneten Analysen, Arzneimittel und der Untersuchung oder Behandlung dienenden Mittel und Gegenstände;
^c	einen Beitrag an die Kosten von ärztlich angeordneten Badekuren;
^d	die ärztlich durchgeführten oder angeordneten Massnahmen der medizinischen Rehabilitation;
^e	den Aufenthalt im Spital entsprechend dem Standard der allgemeinen Abteilung;
^f	...
^gbis	einen Beitrag an die medizinisch notwendigen Transportkosten sowie an die Rettungskosten;
^h	die Leistung der Apotheker und Apothekerinnen bei der Abgabe von nach Buchstabe b verordneten Arzneimitteln.

SR 832.102 Verordnung vom 27. Juni 1995 über die Krankenversicherung (KVV) KVV Art. 37^a Beratende Kommissionen - Beratende Kommissionen nach Artikel 33 Absatz 4 des Gesetzes sind:
^a	die Eidgenössische Kommission für allgemeine Leistungen und Grundsatzfragen (Leistungs- und Grundsatzkommission);
^b	die Eidgenössische Kommission für Analysen, Mittel und Gegenstände (Analysen-, Mittel- und Gegenständekommission);
^c	die Eidgenössische Arzneimittelkommission.

SR 812.21 Bundesgesetz vom 15. Dezember 2000 über Arzneimittel und Medizinprodukte (Heilmittelgesetz, HMG) - Heilmittelgesetz HMG Art. 10 Zulassungsvoraussetzungen - 1 Wer um die Zulassung ersucht, muss:43
¹	Wer um die Zulassung ersucht, muss:43
^a	bei Arzneimitteln mit Indikationsangabe oder bei Verfahren belegen, dass sie qualitativ hochstehend, sicher und wirksam sind;
^abis	bei Komplementärarzneimitteln ohne Indikationsangabe jederzeit anhand einer Dokumentation:
^abis1	nachweisen können, dass sie qualitativ hochstehend sind, und
^abis2	glaubhaft machen können, dass vom betreffenden Arzneimittel keine Gefahr für die Sicherheit der Konsumentinnen und Konsumenten ausgeht;
^b	über eine Herstellungs-, Einfuhr- oder Grosshandelsbewilligung der zuständigen Behörde verfügen;
^c	Wohnsitz, Geschäftssitz oder eine Zweigniederlassung in der Schweiz begründet haben.
²	Das Institut überprüft die Zulassungsvoraussetzungen. Es kann dazu produktespezifische Inspektionen durchführen.

SR 812.21 Bundesgesetz vom 15. Dezember 2000 über Arzneimittel und Medizinprodukte (Heilmittelgesetz, HMG) - Heilmittelgesetz HMG Art. 11 Zulassungsgesuch - 1 Das Zulassungsgesuch muss alle für die Beurteilung wesentlichen Angaben und Unterlagen enthalten, insbesondere:
¹	Das Zulassungsgesuch muss alle für die Beurteilung wesentlichen Angaben und Unterlagen enthalten, insbesondere:
^a	die Bezeichnung des Arzneimittels;
^b	den Hersteller und die Vertriebsfirma;
^c	die Herstellungsmethode, die Zusammensetzung, die Qualität und die Haltbarkeit.
²	Mit dem Gesuch um Zulassung folgender Arzneimittel sind zusätzlich folgende Angaben und Unterlagen einzureichen:
^a	Arzneimittel mit Indikationsangabe:
^a1	die Ergebnisse der physikalischen, chemischen, galenischen und biologischen oder mikrobiologischen Prüfungen,
^a2	die Ergebnisse der pharmakologischen, toxikologischen und der klinischen Prüfungen, einschliesslich sämtlicher Ergebnisse aus Prüfungen in besonderen Bevölkerungsgruppen,
^a3	die Heilwirkungen und die unerwünschten Wirkungen,
^a4	die Kennzeichnung, die Arzneimittelinformation sowie die Abgabe- und die Anwendungsart,
^a5	eine Bewertung der Risiken und soweit erforderlich ein Plan zu ihrer systematischen Erfassung, Abklärung und Prävention (Pharmacovigilance-Plan),
^a6	das pädiatrische Prüfkonzept nach Artikel 54a;
^b	Arzneimittel für Tiere, die für die Lebensmittelproduktion gehalten werden:
^b1	die Angaben und Unterlagen nach Buchstabe a,
^b2	der Rückstandsnachweis,
^b3	die Absetzfristen.
³	Für die Zulassung von Verfahren nach Artikel 9 Absatz 3 sind neben den Angaben und Unterlagen nach Absatz 1 diejenigen nach Absatz 2 Buchstabe a einzureichen.
⁴	Das Institut umschreibt die Angaben und Unterlagen nach den Absätzen 1-3 näher.
⁵	Der Bundesrat legt Folgendes fest:
^a	die Anforderungen an die Organisation, Durchführung und Aufzeichnung der pharmakologischen und toxikologischen Prüfungen nach Absatz 2 Buchstabe a Ziffer 2 und das Kontrollverfahren; dabei berücksichtigt er international anerkannte Richtlinien und Normen;
^b	die Sprachen, in denen gekennzeichnet und informiert werden muss.

SR 832.102 Verordnung vom 27. Juni 1995 über die Krankenversicherung (KVV) KVV Art. 37^e Eidgenössische Arzneimittelkommission - 1 Die Eidgenössische Arzneimittelkommission berät das BAG bei der Erstellung der Spezialitätenliste nach Artikel 34. Sie berät das EDI, in ihrem Bereich, bei der Ausarbeitung der Bestimmungen nach den Artikeln 36 Absatz 1, 75, 77k und 104a Absatz 4. Sie berät das EDI zudem bei der Zuordnung von Arzneimitteln zu einer pharmazeutischen Kostengruppe der Liste nach Artikel 4 der Verordnung vom 19. Oktober 2016147 über den Risikoausgleich in der Krankenversicherung sowie bei der Festlegung der standardisierten Tagesdosen, wenn Arzneimittel neu oder für eine zusätzliche Indikation in die Spezialitätenliste aufgenommen werden.148
¹	Die Eidgenössische Arzneimittelkommission berät das BAG bei der Erstellung der Spezialitätenliste nach Artikel 34. Sie berät das EDI, in ihrem Bereich, bei der Ausarbeitung der Bestimmungen nach den Artikeln 36 Absatz 1, 75, 77k und 104a Absatz 4. Sie berät das EDI zudem bei der Zuordnung von Arzneimitteln zu einer pharmazeutischen Kostengruppe der Liste nach Artikel 4 der Verordnung vom 19. Oktober 2016147 über den Risikoausgleich in der Krankenversicherung sowie bei der Festlegung der standardisierten Tagesdosen, wenn Arzneimittel neu oder für eine zusätzliche Indikation in die Spezialitätenliste aufgenommen werden.148
²	Sie besteht aus 16 Mitgliedern; davon vertreten:149
^a	eine Person die Fakultäten der Medizin und Pharmazie (wissenschaftlicher Experte oder wissenschaftliche Expertin);
^b	drei Personen die Ärzteschaft, wobei eine Person die Komplementärmedizin vertritt;
^c	drei Personen die Apothekerschaft, wobei eine Person die Komplementärmedizin vertritt;
^d	eine Person die Spitäler;
^e	zwei Personen die Krankenversicherer;
^f	zwei Personen die Versicherten;
^g	zwei Personen die Pharmaindustrie;
^h	eine Person das Schweizerische Heilmittelinstitut (Swissmedic);
ⁱ	eine Person die Kantone.152

SR 832.102 Verordnung vom 27. Juni 1995 über die Krankenversicherung (KVV) KVV Art. 65^d - 1 Das BAG überprüft sämtliche Arzneimittel, die in der Spezialitätenliste aufgeführt sind, alle drei Jahre daraufhin, ob sie die Aufnahmebedingungen noch erfüllen. Die Arzneimittel werden aufgrund ihrer Zugehörigkeit zu einer therapeutischen Gruppe der Spezialitätenliste in drei Einheiten aufgeteilt. Jede Einheit wird alle drei Jahre überprüft.
¹	Das BAG überprüft sämtliche Arzneimittel, die in der Spezialitätenliste aufgeführt sind, alle drei Jahre daraufhin, ob sie die Aufnahmebedingungen noch erfüllen. Die Arzneimittel werden aufgrund ihrer Zugehörigkeit zu einer therapeutischen Gruppe der Spezialitätenliste in drei Einheiten aufgeteilt. Jede Einheit wird alle drei Jahre überprüft.
²	Der Auslandpreisvergleich wird auf der Basis der umsatzstärksten Packung durchgeführt.
³	Der therapeutische Quervergleich wird auf der Basis der kleinsten Packung der tiefsten Dosisstärke durchgeführt, es sei denn, die kleinste Packung der tiefsten Dosisstärke erlaubt insbesondere aufgrund unterschiedlicher Dosierungen bei Therapiebeginn, unterschiedlicher Packungsgrössen oder des gleichen Preises der verschiedenen Dosisstärken eines Arzneimittels keinen adäquaten Vergleich.293
⁴	Ergibt die Überprüfung, dass der geltende Höchstpreis zu hoch ist, so verfügt das BAG auf den 1. Dezember des Überprüfungsjahres eine Preissenkung auf den nach Artikel 65b Absatz 3 ermittelten Preis. Liegt der dem geltenden Höchstpreis zugrunde liegende Fabrikabgabepreis unter dem nach Artikel 65b Absatz 3 ermittelten Preis, so rechtfertigt dies keine Preiserhöhung.294
⁵	Die Zulassungsinhaberin hat dem BAG alle notwendigen Informationen bekannt zu geben.
⁶	Das BAG teilt der Inhaberin der Zulassung für ein Generikum den ab 1. Dezember vorgesehenen Preis des Originalpräparates mit.

SR 832.112.31 Verordnung des EDI vom 29. September 1995 über Leistungen in der obligatorischen Krankenpflegeversicherung (Krankenpflege-Leistungsverordnung, KLV) - Krankenpflege-Leistungsverordnung KLV Art. 33 Zweckmässigkeit - 1 Die Zweckmässigkeit eines Arzneimittels in Bezug auf seine Wirkung und Zusammensetzung wird nach klinisch-pharmakologischen und galenischen Erwägungen, nach unerwünschten Wirkungen sowie nach der Gefahr missbräuchlicher Verwendung beurteilt.
¹	Die Zweckmässigkeit eines Arzneimittels in Bezug auf seine Wirkung und Zusammensetzung wird nach klinisch-pharmakologischen und galenischen Erwägungen, nach unerwünschten Wirkungen sowie nach der Gefahr missbräuchlicher Verwendung beurteilt.
²	Das BAG stützt sich für die Beurteilung der Zweckmässigkeit auf die Unterlagen, die für die Zulassung durch die Swissmedic massgebend waren. Es kann weitere Unterlagen verlangen.252

SR 812.21 Bundesgesetz vom 15. Dezember 2000 über Arzneimittel und Medizinprodukte (Heilmittelgesetz, HMG) - Heilmittelgesetz HMG Art. 16 - 1 Das Institut verfügt die Zulassung, wenn die Voraussetzungen erfüllt sind. Es kann die Zulassung mit Auflagen und Bedingungen verknüpfen.
¹	Das Institut verfügt die Zulassung, wenn die Voraussetzungen erfüllt sind. Es kann die Zulassung mit Auflagen und Bedingungen verknüpfen.
²	Die Zulassung wird erstmals für fünf Jahre verfügt. Das Institut verfügt eine kürzere Zulassungsdauer, wenn es:
^a	sich um befristete Zulassungen nach Artikel 9a handelt; oder
^b	dies zum Schutz der Gesundheit erforderlich ist.61
³	Die Zulassung von Arzneimitteln aufgrund einer Meldung ist unbefristet gültig.62
⁴	...63

SR 812.212.22 Verordnung des Schweizerischen Heilmittelinstituts vom 9. November 2001 über die Anforderungen an die Zulassung von Arzneimitteln (Arzneimittel-Zulassungsverordnung, AMZV) - Arzneimittel-Zulassungsverordnung AMZV Art. 4 Dokumentation über die pharmakologischen und toxikologischen Prüfungen - 1 Die Dokumentation über die pharmakologischen und die toxikologischen Prüfungen muss belegen, dass die Untersuchungen am Tier oder, wo sinnvoll, an qualifizierten oder validierten Alternativmodellen:9
¹	Die Dokumentation über die pharmakologischen und die toxikologischen Prüfungen muss belegen, dass die Untersuchungen am Tier oder, wo sinnvoll, an qualifizierten oder validierten Alternativmodellen:9
^a	im Rahmen der Vorschriften und Empfehlungen durchgeführt worden sind, die für den Schutz der verwendeten Tiere und zur Gewährleistung einwandfreier Untersuchungsergebnisse massgebend sind;
^b	nach dem aktuellen Stand der Wissenschaft geplant und durchgeführt worden sind.
²	Sie muss insbesondere Angaben und Unterlagen enthalten über:
^a	die Pharmakodynamik;
^b	die Pharmakokinetik;
^c	die Toxikologie;
^d	die Ökotoxizität.
³	Die Swissmedic kann zusätzliche Unterlagen und Auskünfte verlangen.

SR 832.102 Verordnung vom 27. Juni 1995 über die Krankenversicherung (KVV) KVV Art. 65^b Beurteilung der Wirtschaftlichkeit: Grundsatz - 1 Ein Arzneimittel gilt als wirtschaftlich, wenn es die indizierte Heilwirkung mit möglichst geringem finanziellem Aufwand gewährleistet.
¹	Ein Arzneimittel gilt als wirtschaftlich, wenn es die indizierte Heilwirkung mit möglichst geringem finanziellem Aufwand gewährleistet.
²	Die Wirtschaftlichkeit eines Arzneimittels wird wie folgt beurteilt:
^a	anhand eines Vergleichs mit dem durchschnittlichen Preis anderer Arzneimittel zur Behandlung derselben Krankheit (therapeutischer Quervergleich);
^b	anhand eines Vergleichs mit dem Durchschnitt der Preise desselben Arzneimittels in den Referenzländern (Auslandpreisvergleich).
³	Zur Ermittlung des Preises, der als wirtschaftlich gilt, werden die nach Absatz 2 Buchstaben a und b ermittelten Preise je hälftig gewichtet.

SR 173.110 Bundesgesetz vom 17. Juni 2005 über das Bundesgericht (Bundesgerichtsgesetz, BGG) - Bundesgerichtsgesetz BGG Art. 66 Erhebung und Verteilung der Gerichtskosten - 1 Die Gerichtskosten werden in der Regel der unterliegenden Partei auferlegt. Wenn die Umstände es rechtfertigen, kann das Bundesgericht die Kosten anders verteilen oder darauf verzichten, Kosten zu erheben.
¹	Die Gerichtskosten werden in der Regel der unterliegenden Partei auferlegt. Wenn die Umstände es rechtfertigen, kann das Bundesgericht die Kosten anders verteilen oder darauf verzichten, Kosten zu erheben.
²	Wird ein Fall durch Abstandserklärung oder Vergleich erledigt, so kann auf die Erhebung von Gerichtskosten ganz oder teilweise verzichtet werden.
³	Unnötige Kosten hat zu bezahlen, wer sie verursacht.
⁴	Dem Bund, den Kantonen und den Gemeinden sowie mit öffentlich-rechtlichen Aufgaben betrauten Organisationen dürfen in der Regel keine Gerichtskosten auferlegt werden, wenn sie in ihrem amtlichen Wirkungskreis, ohne dass es sich um ihr Vermögensinteresse handelt, das Bundesgericht in Anspruch nehmen oder wenn gegen ihre Entscheide in solchen Angelegenheiten Beschwerde geführt worden ist.
⁵	Mehrere Personen haben die ihnen gemeinsam auferlegten Gerichtskosten, wenn nichts anderes bestimmt ist, zu gleichen Teilen und unter solidarischer Haftung zu tragen.

SR 173.110 Bundesgesetz vom 17. Juni 2005 über das Bundesgericht (Bundesgerichtsgesetz, BGG) - Bundesgerichtsgesetz BGG Art. 68 Parteientschädigung - 1 Das Bundesgericht bestimmt im Urteil, ob und in welchem Mass die Kosten der obsiegenden Partei von der unterliegenden zu ersetzen sind.
¹	Das Bundesgericht bestimmt im Urteil, ob und in welchem Mass die Kosten der obsiegenden Partei von der unterliegenden zu ersetzen sind.
²	Die unterliegende Partei wird in der Regel verpflichtet, der obsiegenden Partei nach Massgabe des Tarifs des Bundesgerichts alle durch den Rechtsstreit verursachten notwendigen Kosten zu ersetzen.
³	Bund, Kantonen und Gemeinden sowie mit öffentlich-rechtlichen Aufgaben betrauten Organisationen wird in der Regel keine Parteientschädigung zugesprochen, wenn sie in ihrem amtlichen Wirkungskreis obsiegen.
⁴	Artikel 66 Absätze 3 und 5 ist sinngemäss anwendbar.
⁵	Der Entscheid der Vorinstanz über die Parteientschädigung wird vom Bundesgericht je nach Ausgang des Verfahrens bestätigt, aufgehoben oder geändert. Dabei kann das Gericht die Entschädigung nach Massgabe des anwendbaren eidgenössischen oder kantonalen Tarifs selbst festsetzen oder die Festsetzung der Vorinstanz übertragen.