vid 1888 års slut utgjorde kr.