eller byte mot Stadsgendom för lo- å 25,000 kr.