pensionskassa för betjeningen å distriktet.