major Grudmann , den holländske officeren , som kommenderade Nya Trondhjems garnison.