bestämmer , att arsenalen vid nämnde fästning hädanefter skall benämnas : „Det norske Hovedarsenal11.