BGer 9C_736/2019 vom 13. Mai 2020 , Krankenversicherung (Prozessvoraussetzung), - Bundesgericht (2020)