Ist die KSK eine gesetzliche Krankenkasse?