redaktör af „Industri-Tidende “,