Nachtrag hierzu, leider Paywall:

Die Waffe befand sich demnach in einem sogenannten Poolfahrzeug der Dresdner Polizei. Bei Poolfahrzeugen handle es sich um Fahrzeuge, die nicht einer festen Organisationseinheit, etwa einem Polizeirevier, zugeordnet seien, sondern zeitweise an diese ausgeliehen würden. So etwas komme vor, wenn die eigentlichen Fahrzeuge eines Reviers wegen eines Unfallschadens oder anderer Mängel nicht eingesetzt werden können, erklärte die Polizeidirektion in ihrer Mitteilung.