Ist die Ehefrau eines Rentners mit krankenversichert?