§ 9 (Änderung des Pflichtversicherungsgesetzes)