domkyrkas restaurering har konungen behagat ytterligare lämna 10,000 kr.