till år 1872 från manufakturdiskontfondens vinstmedel utgått för tjenstemäns pensioneringi