Im Rahmen des Leistungskatalogs des KVG gilt das sogenannte Listenprinzip. Dies bedeutet, dass die Aufzählung der einzelnen Leistungskategorien in den verschiedenen Listen nach Art. 52 Abs. 1 KVG und damit auch bezüglich der SL abschliessend ist. Wenn feststeht, dass ein Medikament weder in der allgemeinen Arzneimittelliste noch in der Spezialitätenliste enthalten ist, ist eine Leistungspflicht des obligatorischen Krankenversicherers ausgeschlossen (vgl. Maurer, Das neue Krankenversicherungsrecht, S. 51; Eugster in: Schweizerisches Bundesverwaltungsrecht [SBVR], Helbling & Lichtenhahn, Basel 1998, Krankenversicherung, Rz 126 und 183). c) (...) Gestützt auf Art.