7. Im § 45 Abs. 2 ist der Ausdruck „Krankenversicherung der Bundesangestellten“ durch den Ausdruck „Krankenversicherung öffentlich Bediensteter“ zu ersetzen.