After East Berlin, what was the 2nd biggest city by population in the German Democratic Republic (based on 1988 population statistics)?
Leipzig