läroverkshus skall byggas på Amiralitetsslätten ”.