How Many People Fled East Berlin