att generalmajor Christian Martini de Sene pingstaftonen a ilidit i Trondhjem.