Benzelstjerna , född Linderholin,