öfverbibliotekarielönen , 7,000 kr.