Pensionsfonden för Inteekninjg-igaranti-akeiebolagets tjänstepersonal 20,000 kr.