myntgravören Throndsen på Kongsberg.