af en pensionsinrättning för arbetare.