Wie viele Menschen arbeiten bei der Polizei?