för dyrtidstillägg åt k. bibliotekets tjenstemän 2 720 kr.