streckungsverfahren einzuleiten (Art. 64a Abs. 2 KVG). Das Vollstreckungsverfahren kann nur eingeleitet werden, wenn fällige Prämien und Kostenbeiträge vorgängig gemahnt wurden (BGE 131 V 147). Wenn nach Einleitung des Vollstreckungsverfahrens durch Einreichung des Betreibungsbegehrens gegen den Zahlungsbefehl Rechtsvorschlag erhoben wird, ist der obligatorische Krankenversicherer berechtigt, den Rechtsvorschlag mittels formeller Verfügung aufzuheben und nach Eintritt der Rechtskraft derselben die Betreibung fortzusetzen.