diskontverken , enligt senast aflemnade rapporter » utgjorde 12 , 013 , 750 rdr.