vid 1880 års slut utgjorde kr.