Ingolstadt: Mehr zusätzliche Polizisten ab 2019