„ i Sjötörsäkrings-Aktiebolaget Ocean.