namn var Henriksen , och han var bördig från Stavanger.