5 dito i sjöförsäkringsaktiebolaget Ocean (&