riksarkivets och generalstabens tomter äro allmän egendom , så synes för delen ligga i öppen dag af att statenkomme