Todd 1786$ utgick han 1803 från det norskamilitärinstitutet