och staden inlöste läroverkshuset och dess tomt.