aber ist das so ?

Genau, seit die Krankenversicherungspflicht besteht (habe noch mal nachgesehen, seit 2009), ist es praktisch unmöglich, gar nicht krankenversichert zu sein. Deshalb ist die ganze Geschichte auch fishy, es sei denn, er ist noch bei einer spanischen PKV versichert und da gelten andere Regeln (wie Leistungssperren bei Nichtzahlung), und er kann nicht einfach so in das deutsche KV-System übernommen werden.

Für die Privatversicherten gibt es ja aufgrund der Problematik, dass viele die Beiträge im Alter nicht mehr zahlen konnten (vor allem aus Altverträgen, die noch keine so hohen Rückstellungen hatten), die Basistarife. Abgesehen davon ist es in D auch für freiwillig gesetzlich Versicherte so, dass sie nach Renteneintritt die KV weiter selbst zahlen und die nicht vom Staat übernommen wird.