Who was Mayor of Cincinnati in 1977?

Jerry Springer according to NNDB.com.