BGer 9C_451/2017 vom 12. Juli 2017 , Krankenversicherung, - Bundesgericht (2017)