BGer 9C_584/2019 vom 26. Februar 2020 , Krankenversicherung (Versicherungspflicht; Auslandsbehandlung), - Bundesgericht (2020)