domkyikas restaurering har konungen ytterligare lemnat 10,000 kr.