Pensionskassa för bergs * tjänstemän.