Urban Shrinkage in Eastern Germany