restaurering har konungen ytterligare skänkt 10,000 kr.