BGer 9C_851/2017 vom 19. Dezember 2017 , Krankenversicherung (Prozessvoraussetzung), - Bundesgericht (2017)