Wigner-function for open systems with electron-phonon interaction