måtte bestämma aflöningen för bibliotekaren vid riksdagens bibliotek till lön 2,500 kronor och tjenstgöringspenningar 1,500 kronor , eller tillsammans 4,000 kronor med ett ålderstillägg efter fem åraf