Christian Martini de Seue , chef för trondhjemska infanteribrigaden , bar dött i lungsot.