Kolding skulle få ny borgmester, Jørn Pedersen forlader politikken helt.