det s. k. officiela bankdiskontot.