Wie viele Beamte sind bei der Thüringer Polizei tätig?