nuvarande tomter i qvarteret Edelman mindre och Krabaten med der befintliga byggnadermå , när de för institutet icke vidare behöfvas , på offentlig auktion försäljas och behållna köpeskillingen derförtill