BGer 9C_876/2017 vom 13. Dezember 2017 , Krankenversicherung, - Bundesgericht (2017)