, | ^ tjenstemännen vid de samma anvisas ett extra anslag af 3,716 kr.