Wie viele Mitarbeiter im Öffentlichen Dienst?