Wie viele Polizisten werden in Berlin eingestellt?