diskontverken , enligt sednast aflemnade rapporter , utgjorde 12 , 084 ,250