a . äfven en astronomisk teater att inrättas,