BGer 9C_531/2019 vom 17. Februar 2020 , Assicurazione contro le malattie (obbligo assicurativo; diritto d'opzione), - Bundesgericht (2020)