Wie ist die Frau eines Beamten krankenversichert?