BGer 9C_517/2017 vom 8. November 2018 , Krankenversicherung, - Bundesgericht (2018)