År 1888 utgjorde Berlinsfolkmängd