en pensionsinrättning för arbetare.