ti » tjenstemännenS pensionsfond afsä ' tas 4,000 kr.