Weak solutions for the compressible Poisson-Nernst-Planck-Navier-Stokes system