och riksbankshus utgjorde vid 1888 års slut kr.