tjenstemäns pensionskassa 10,000 kr.