institutets bibliotek samt ökningen från 1,000 till 2,000 kr.