af gamla läroverkshuset » 20,000 kr.