Folkmängden utgjorde vid 1888 års,