Sind Krankenkassenmitarbeiter im öffentlichen Dienst?