Wie viele Polizisten stellt Schleswig-Holstein ein?