(Krankenversicherung – Versicherungspflicht – Versicherungsfreiheit – Abgrenzung – Überschreiten der Jahresarbeitsentgeltgrenze – Anwendung der Bestandsschutzregelung des § 6 Abs 9 SGB 5 – Beschränkung der Möglichkeit zum Wechsel in die private Krankenversicherung ist verfassungsgemäß)