bibliotekets chef till 6,400 kr.,