pensionsinrättningar , samt Spinnhuset i Stockholm , att göra?