Frau verbeamtet, Mann angestellt - GKV oder PKV?