Martini de Sette , chef förTrondhjems