Arsenalverkstaden samt Gasverket i Kristiania , äfvensom frånen