öfverbibliotekariplönen , 7,000 kr.