tora konungen ; helt nyligen hafvaemellertid