belysning i riksbibliotehet m . m . , 4,000 kr.