diskontverken , enligt senast aflemnade rapporter » utgjorde 11 , 985 ,250