Arsenalverkstaden samt Gasverket i Kristiania , äfvensomfrån