får använda 153,000 kr. , deraf 8,500 till Ribe domkyrka krigsmini»