BGer 9C_814/2016 vom 23. Mai 2017 , Krankenversicherung (Spezialitätenliste; dreijährliche Überprüfung der Aufnahmebedingungen), - Bundesgericht (2017)