domkyrkas restauration ; 3,000 kr.