afsättes till en pensionsfond för tjänstemännen.