BGer 9C_388/2019 vom 21. April 2020 , Assurance-maladie (assurance obligatoire; exclusion), - Bundesgericht (2020)