lärowerkets gymnastikhus och folkskolehuset.