Epidemics and Urban Growth: The Impact of Cholera in Nineteenth-Century Prussia