för läroverkshusets uppförande på Amiralitorget.